>>486
「∈と＝は2変数の関数記号である」というのに自然数論はいらないだろう。
記号の数を数えることはできるんだよ。実際できるから。
そこには「成り立たないのではないか?」という疑いを差し挟む部分はどこにもないじゃないか。