※画像はイメージです。本文と直接の関係はありません

結論ファースト

ゲーデルの第二不完全性定理は、算術（自然数の足し算や掛け算といった基本的な演算を扱える）を解釈できる十分に強い形式体系が、自らの無矛盾性を内部から証明できないことを示す。完全性に関する制限は第一不完全性定理から得られる結果であり、第二定理単独では語れない。この事実により、ヒルベルトが目指した「体系内部での一貫性証明」は原理的に不可能となったが、夢は形を変えて外部的証明と逆数学という二本柱で継続的に追求された。

ヒルベルトの形式主義と目標

ヒルベルトは 19 世紀末、数学全体を「記号の操作だけで完結する形式体系」と捉え、次の二つを中心に計画を掲げた。

• 無矛盾性の証明
  矛盾（ A と ¬A ）が決して導かれないことを、有限的手続きで示すこと。

• 完全性（決定可能性）
  形式的手続きだけで全ての命題の真偽を判定できること。

1900 年パリ国際数学者会議で提示されたヒルベルトの 23 問の第 2 問は、まさに「算術の無矛盾性を証明せよ」という課題であった。ヒルベルトはこの課題を、有限的手続きで解決できると考えていた。

ゲーデルの第一・第二不完全性定理

第一不完全性定理（1931 年）

• 対象：算術（たとえばペアノ算術）を解釈でき、かつ再帰的に列挙可能で無矛盾な形式体系。
  「再帰的に列挙可能」とは、（計算機などで）公理や推論規則を機械的にリストアップできることを意味する。
• 主張：その体系には「真であるが証明も反証もできない」命題が必ず存在する。

証明の要点
1. Gödel 数：記号・式・証明手続きを自然数に一意に対応させた符号化。
2. 対角化法：カントールの対角線論法に類似し、自己言及的文を構成する手法。
3. 自己言及文 G： 「この文は体系内で証明できない」ことを述べる文。体系が無矛盾であれば G も ¬G も証明できず、未決定命題となる。

第二不完全性定理（同年）

• 対象は第一定理と同様に、算術を解釈できる無矛盾で再帰的に列挙可能な体系。
• 主張：その体系は自らの無矛盾性を内部から証明できない。

証明の概要
1. 体系 (T) 内で「(T) は無矛盾である」ことを表す式 Con(T) を構成する。ここで用いる 証明可能性述語 は、式 (A) が体系 (T) で証明可能であることを Gödel 数に基づく数式として表したものである。
2. 第一定理で得た自己言及文 G は「(G) は (T) で証明できない」と述べる。
3. もし (T) が Con(T) を証明できれば、(T) は (G) も証明できることになり、無矛盾性と矛盾する。
4. 従って (T) は Con(T) を証明できない。

この結果は「体系内部での無矛盾性証明」が原理的に不可能であることを示すが、**完全性（全命題の判定）**については第一定理の範囲で語られる。

ヒルベルト計画の崩壊と外部的証明の再構築

第二定理により、無矛盾性の内部証明は不可能となった。そこで数学者は、ヒルベルトの夢を「内部証明」から「外部的・相対的証明」へと形を変えて追求した。

1. 外部的証明の試み

   • ZFC から算術の無矛盾性を示す相対的一貫性証明
     ZFC は算術より強い体系とみなすことで、ZFC の公理系を前提に「PA が無矛盾である」ことを証明する。ここで重要なのは、ZFC 自身の無矛盾性は ZFC では証明できない（第二定理の適用）という点である。したがってこの手法は「外部的」かつ「相対的」な証明になる。
   • ゲンツェンの超限帰納法（ε₀ までの順序数上の帰納法）
     超限帰納法は PA の証明力を超える手段であり、PA の無矛盾性を示すことができる。ε₀ は PA が直接扱える範囲を超える順序数であるため、外部的手法として位置付けられる。ここで注目すべきは、ヒルベルトが当初想定した「有限的手続き」の枠組みをどこまで拡張できるかという議論であり、超限帰納法はその拡張の一例として、ヒルベルトの夢が形を変えて存続していることを示す。

2. 公理系の再編成
   矛盾を回避できるよう、集合論の公理系（ZFC など）を整備し、基礎としての安定性を確保した。

逆数学への流れ

不完全性定理が示す「ある命題がどの公理から導かれるかは体系外の視点が必要」という認識は、逆数学の動機の一部となっている。逆数学は、どの程度の強さの公理があれば、どの程度の数学が展開できるかを明らかにすることを目的とする。具体的な手順は次の通りである。

1. 定理の選定
   例としてコンパクト性定理や選択公理を取り上げる。

2. 必要な公理系の特定
   それらの定理が証明できる最も弱い二階算術の部分体系（例：RCA₀、WKL₀、ACA₀）を調べる。これらは「何が証明でき、何が不足するか」を示す体系である。

3. 比較検証
   追加の公理が本当に必要かを、より弱い体系からの相対的評価で確認する。

このように、逆数学は証明可能性の比較を通じて「必要十分条件」を体系的に整理し、ゲーデルの定理が示すメタ的視点を実践的に活用する。第二定理だけでなく、第一定理や相対的一貫性の考え方も併せて利用される点が特徴である。

まとめ

• 第二不完全性定理は、算術を解釈できる（自然数の基本演算を扱える）十分に強い形式体系が自らの無矛盾性を内部から証明できないことを示し、ヒルベルトの「内部からの一貫性証明」は原理的に不可能であることを明らかにした。
• 完全性に関する制限は、第一不完全性定理が示す「真であるが証明できない命題の存在」から導かれる。第二定理単独では語れない。
• 以後の展開は、外部的証明（ZFC による相対的一貫性、ゲンツェンの超限帰納法）と、逆数学による公理の最小化研究という二本柱に集約された。外部的手法は、ヒルベルトの夢を「有限的手続き」から「拡張された手続き」へと形を変えて継承した例でもある。
• ゲーデルの定理は「数学は決して完結しない」ことを示すと同時に、メタ的視点と外部的手法の併用が現代数学の基礎研究に不可欠であることを示した。