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

（運営の方へ：本記事の修正や削除には原則として応じるつもりなので、必要があればご一報ください） 【委員が語る、Re:運動会への想い】現在、Re:運動会では最後の参加者募集を行っています。準備委員会としてRe:運動会を主導してきたメンバーの1人に、この…