Inter-universal geometry と ABC予想 否定派at MATHInter-universal geometry と ABC予想 否定派 - 暇つぶし2ch257:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 20/04/23 17:21:42 HZRVAVG+.net>>250の続き 『無限のスーパーレッスン』のhyper-critique URLリンク(fuchino.ddo.jp) 「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、 選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」 (無限のスーパーレッスン,p.185) これはヒドイ・・・ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch