其れだけあって結論が異なりますのや、そうですがなw
ひょっとして今までのところ疑惑のABC予想の証明にしても、もしかしたら理解されていない意味論を多用したのかもワカランですねエ~、そうでっシャロ、京都大学の数学者だけあって、そう。ワシとしたら「数学の無矛盾性がそうじゃないか」とだけ慰めてあげたいですのや。
ナニ、慰めにも何にもならん、そりゃソ~ですのやw
でー、論争なき数学の為には「証明は形式主義によらなけりゃならん」てな事情があるとしたら、ゲンツェンの名が出て来よりますやろ、ソ~でしょーなあ、そこ。ひょっとしてゲンツェンが『自然数の無矛盾性の証明』だとしたらゲーデルの主たる業績はナンセンスの汚名を着せられかねんですがな、そう。
意味論との板挟み、どっちの意味でもナンセンス!
ゲーデルやっぱり浮かばれんな・・。