Inter-universal geometry と ABC予想否定派

Inter-universal geometry と ABC予想否定派at MATH

Inter-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を表示