数学基礎論・数理論理学のスレッド　その7

数学基礎論・数理論理学のスレッド　その7at MATH

数学基礎論・数理論理学のスレッド　その7 - 暇つぶし2ch147:１３２人目の素数さん
11/01/16 00:43:48
>>145
> これはZFCが無矛盾であることを示したことにならないでしょうか？

そうするとZFCは無矛盾でないことになりますので、大発見だと思います。