11/01/16 18:36:25
>>147 >>148
なるほど。
よく言われる「連続体仮説は証明も反証もできない命題である」
ということの証明には前提条件があったのですね。
しかしZFCが矛盾するとすると集合論が崩壊するので
数学は致命的なダメージを受けますね。
数学という船にのっている以上、ZFCは無矛盾、と仮定するのは
自然な成り行きだと思います。
言い方は悪いですが、沈むときは一緒だ、みないな。
そこでZFCは無矛盾と仮定した上で、>>139 のような
考えはどうなのでしょうか？
どのみち独立性を示すためには基の論理体系が無矛盾であると
仮定しなければならないようなので。