@kururu_goedel: @muratori_d Con(ZF)→Con(ZFC)は、1)Con(ZF)を仮定、2)モデルがあるのてとる、3)そのモデル上でZFCのモデルを構成、4)ZFCのモデルがあるので、Con(ZFC)、と私はイメージします。2011-04-10 11:57:10 via TweetDeck to @muratori_d @kururu_g…