なるほどペアノ公理の不完全性は明らか

「２は１＋１の解であり１＋１でないのは２ではない」

という定義から始まりますやろ？

それは中間子文と言って、

２「２は１＋１の解」と言うクォーク命題が

２⋀￢２という矛盾結合を経てこそ表現できるという

恐るべき特徴がありますのや！

つまり、

要素を定義していくペアノ公理は必ず矛盾するｗ

おまけに全命題が矛盾命題である、そーじゃないか！

そして定義を含まない自然数は不完全体系・・、って

これってホントかね？

訳が分からなくなった、自信までは無いｗ