http://d.hatena.ne.jp/ityou/20070506 えーっと、矛盾してるのと、矛盾できるのは違うってか、単純に、無矛盾であることが示せないのと矛盾していることは同値じゃないじゃない？っていう。語りの本筋と違う、とか誤読、とか自分が不完全性定理をちゃんと理…