Daniel https://blog.hatena.ne.jp/Daniel/ 無方研日記 https://daniel.hatenadiary.org/ http://d.hatena.ne.jp/ityou/20070506 えーっと、矛盾してるのと、矛盾できるのは違うってか、単純に、無矛盾であることが示せないのと矛盾していることは同値じゃないじゃない？っていう。語りの本筋と違う、とか誤読、とか自分が不完全性定理をちゃんと理解してない、かもという気もするのですが。ま、うん。ゲーデルの不完全性定理 - Wikipedia矛盾しているものは矛盾していることが示せるのに矛盾していないものは矛盾していないことを示せないっていう捩れっぷりステキとかもあるけれども。それよりも、矛盾できるのに矛盾しない。成功する保証はなにもないのに、危ない橋を渡っているよ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdaniel.hatenadiary.org%2Fentry%2F20070611%2F1181491539" title=" 無矛盾な公理体系の萌えポイント - 無方研日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-06-11 01:05:39 rich https://daniel.hatenadiary.org/entry/20070611/1181491539 1.0 100%