@kururu_goedel: @zhanpon @dif_engine 超べきなので、元のモデルで成り立つ閉論理式は全て成り立ちます。ただ、外から見ると無限降下列があるということです。2012-04-28 12:42:53 via TweetDeck to @zhanpon @kururu_goedel: @salmonsnare 持ち帰りテスト…