0500ご冗談でしょう?名無しさん垢版 | 大砲2013/03/01(金) 17:47:06.12ID:oqhRWhbu >>493 真だよ。 >>496 数学基礎論をきちんと勉強してください。 「証明できない論理式がある」は形式的体系内部で定義された論理式ではないです。