@kururu_goedel: 連続体仮説が成り立つけれどもLとはかけ離れたモデルを（例えば）Lからの強制法で作るのは私のニッチだし、連続体仮説はとても面白いと思うけれども、んなもん数学クラスタにだって説明できないよ。2012-03-17 13:14:52 via TweetDeck @kuru…