0191132人目の素数さん垢版 | 大砲2020/08/07(金) 13:35:32.35ID:7XUCxSHj >>190 こういうこというやつはたいてい次のいずれか 1、数学の無矛盾性を他の体系から証明しようとしてる じゃあ"他の体系"の無矛盾性は? はい論破 2、数学の一部分(プレスバーガー算術など)しか考えてない じゃあ他の部分の無矛盾性は?ZFCの無矛盾性を証明できんの? はい論破