2012年05月09日のツイート
@kururu_goedel: @kururu_goedel なぜかというと、不完全性定理により「ZFC+到達不可能基数が存在する」から 「ZFC+到達不可能基数が存在する」の無矛盾性は言えませんが、 無矛盾性は導けますので。
@kururu_goedel: @solus_cordis 独立というとちょっとまずいのですが、 ZFCが無矛盾ならば 「ZFC+到達不可能基数が存在しない」は無矛盾です。でも、 「ZFC+到達不可能基数が存在する」の無矛盾性はZFCの無矛盾性からは証明できないとわかっています。
@kururu_goedel: @ken_m123 extra creditはありますか?とか。
2012-05-09 00:33:26 via TweetDeck to @ken_m123