ゲーデルの哲学

本書の中心テーマ。不完全性定理の数学的証明を概説しつつ、それが形式主義・論理主義・直観主義といった数学基礎論の各立場にとってどのような哲学的衝撃をもたらしたかを論じる。「数学のすべてを形式化できる」というヒルベルトの夢を打ち砕いた定理として位置づけられる。

不完全性定理の証明の核心にある技法として論じられる。形式体系の中に「私は証明不可能だ」と主張する命題を構成するためにゲーデル数を用いて自己言及を実現する手法が、論理的に精密に解説される。

不完全性定理が「何に対して限界を示すのか」を理解するための基盤概念として詳説される。形式体系が機械的・完全・無矛盾であるという理想が、ゲーデルの定理によってどのように崩れるかを丁寧に追う。

不完全性定理の帰結として論じられる中心概念。「証明できない＝偽ではない」という重要な区別を通じて、形式的証明の限界と数学的真理の関係についての哲学的問いを提起する。

不完全性定理の証明技術として詳しく解説される。記号列に番号を割り当てることで「証明可能性」という構文的概念を算術の述語として表現できることを示し、ゲーデル文の構成へとつなぐ。

不完全性定理の歴史的・哲学的背景として描かれる。ゲーデルの結果がヒルベルトのプログラムをいかに根底から覆したかを論じることで、数学の確実性への問いが哲学の問いでもあることが示される。

不完全性定理が否定する性質として中心的に扱われる。「完全性とは何か」「なぜそれが失われるのか」を丁寧に解説することで、不完全性定理の意味の核心へと読者を誘う。

第二不完全性定理の主題として取り上げられる。「数学の基盤が安全かどうかを数学によって保証できない」という帰結が持つ哲学的含意──確実性の問い──を中心に論じられる。

不完全性定理の証明構造を理解するための概念として解説される。「体系を外から語る言語（メタ言語）」と「体系の内部の言語（対象言語）」の区別が、ゲーデルの手法の核心であることが強調される。

ゲーデル自身の哲学的立場として紹介される。不完全性定理が「証明を超えた真理」を示唆するとする解釈の根拠として検討され、数学は発見か発明かという古典的問いと接続される。

不完全性定理の哲学的応用として取り上げられる。「人間の知性は形式体系を超えるか」というJ・R・ルーカスの主張とロジャー・ペンローズの拡張を紹介し、それへの批判も含めて人間性と数学の関係を論じる章で展開される。

形式体系・完全性・証明不可能性という抽象概念を読者に体験させるための導入として取り上げられる。MUが生成できないことをメタ的視点から証明することで、体系の内側と外側の視点の違い──不完全性定理の本質──を示す教材として機能している。