>>92
>そんなことないよ。
>ただ、真偽への言及を最小限にしたのがゲーデルの証明。
>もっときちんと理解しないと。
おいおい。不完全性定理が純統語論的定理であることは強調すべきじゃないの。
もっときちんと理解しないと。