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