ゲーデルの定理-4.2B- 対角化定理(「真である」という意味の命題)

　ゲーデル文とは「この論理式は○○である」という意味に解釈できる自己言及文です。不完全性定理では○○が「証明できる」や「証明できない」であるという文が鍵になりました。では○○が「真である」という文だとどうなるでしょうか？ . . . 本文を読む