18/10/03 04:33:16.11 hAHwqSJY.net
>>279
やっぱりそうですか。
つまりZFCのモデルをZFのなかに構成して
「ZFCが矛盾してるならZFがそもそも矛盾してる。」
を示してZFCの危険性がそこまでではない事を示したというあれですね。
それならわかります。
ちょっと「ZFCの無矛盾性を示した。」という文章を見て「えっ？」と思ってしまいました。
18/10/03 04:33:16.11 hAHwqSJY.net
>>279
やっぱりそうですか。
つまりZFCのモデルをZFのなかに構成して
「ZFCが矛盾してるならZFがそもそも矛盾してる。」
を示してZFCの危険性がそこまでではない事を示したというあれですね。
それならわかります。
ちょっと「ZFCの無矛盾性を示した。」という文章を見て「えっ？」と思ってしまいました。