『涼宮ハルヒの憂鬱』の8話『笹の葉ラプソティ』の長門の台詞「無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないから」、よりによってなんで公理的集合論の方を採用したんだ
Robinson算術が本質的決定不能かつZF集合論を解釈可能という事実などから行けるかと思ったけどこれから導かれるのは第1不完全性定理であって言明の第2不完全性定理ではないハズだから冷静に考えるとどうやって示すのかは知らないな モデル理論的な方法なのだろうか？
@sno2wman 順序数を用いてPAよりつよい算術が扱えるので、その体系の中で証明するのではと思った
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
Robinson算術が本質的決定不能かつZF集合論を解釈可能という事実などから行けるかと思ったけどこれから導かれるのは第1不完全性定理であって言明の第2不完全性定理ではないハズだから冷静に考えるとどうやって示すのかは知らないな モデル理論的な方法なのだろうか？