問題 以下は、Kurt Gödel が 1931 年に出版した論文 Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I の第三段落です（ただし、ゲーデル全集を底本としたうえで、いくつかの致命的な誤植を修正してあります）。下線…