2012-05-09から1日間の記事一覧
@kururu_goedel: @kururu_goedel なぜかというと、不完全性定理により「ZFC+到達不可能基数が存在する」から 「ZFC+到達不可能基数が存在する」の無矛盾性は言えませんが、 無矛盾性は導けますので。2012-05-09 11:52:25 via TweetDeck to @kururu_goedel @k…
@kururu_goedel: @kururu_goedel なぜかというと、不完全性定理により「ZFC+到達不可能基数が存在する」から 「ZFC+到達不可能基数が存在する」の無矛盾性は言えませんが、 無矛盾性は導けますので。2012-05-09 11:52:25 via TweetDeck to @kururu_goedel @k…