算術の無矛盾性（ヒルベルトの第2問題）とは？わかりやすく｜ゲーデルの不完全性定理・ゲンツェンの証明

算術の無矛盾性（ヒルベルトの第2問題）とは？（ひとことで）

算術の無矛盾性の問題とは、「足し算・かけ算を含む数学のルール（公理）から、まちがい（矛盾）は絶対に出てこない」ことを、数学の中で証明できるかという問題です。1900年、ドイツのヒルベルトの23の問題の第2問題として出されました。

この問題の結末は、たいへん変わっています。1931年、オーストリアのゲーデルの業績と生涯（不完全性定理）が不完全性定理を発表し、「十分に強い体系は、自分自身が矛盾しないことを、自分の中では証明できない」ことを示しました。つまり、ヒルベルトが思い描いたやり方では証明できないと分かったのです。その5年後の1936年、ドイツのゲンツェンが、もっと強い道具（ε₀までの数え方）を使えば、算術の無矛盾性を証明できることを示しました。

ですからこの問題は「解けたか、解けていないか」では答えにくい問題です。「ヒルベルトが望んだ形では不可能と証明され、かわりに別の形で証明された」というのが、いちばん正確な言い方です。「解決」と見るか「不可能と証明」と見るかは、数学者や論理学者の間でも意見が分かれます。このページでは、その分かれ方も公平に紹介します（2026年11月時点）。

連続体仮説（ヒルベルトの第1問題）も、「今のルールでは決められない」と分かった問題でした。平行線公準の問題や三大作図問題のように、数学には「できないことを証明する」という型の解決があります。この問題は、その中でもいちばん深い例の一つです。

この問題の意味をやさしく解説

ステップ1：「矛盾」ってどういうこと？

数学の「矛盾」とは、「Aである」と「Aではない」の両方が証明できてしまうことです。たとえば、あるルールから「$1+1=2$」も「$1+1\neq2$」も証明できてしまったら、そのルールは矛盾しています。矛盾していないことを、無矛盾といいます。

矛盾が1つでもあると、困ったことが起こります。論理のルールでは、矛盾からは、どんな命題でも導けてしまうのです。「$1=2$」も、「月はチーズでできている」も、「すべての素数は偶数だ」も証明できてしまいます。正しい命題とまちがった命題の区別がなくなり、証明というものの意味が消えてしまいます。

背理法とはは、わざと「Aではない」と仮定して矛盾を導き、Aが正しいことを示す方法です。背理法が成り立つのは、矛盾が起きたらその仮定は捨てるというルールがあるからです。もしルールそのものが矛盾していたら、背理法も役に立ちません。

ステップ2：なぜ「算術」が大事なのか

算術とは、自然数 $0,1,2,3,\cdots$ の足し算・かけ算についての理論のことです。算術は、数学のほとんどの土台になっています。分数も、小数も、実数とはも、自然数から作ることができるからです。

算術のルールとして有名なのが、イタリアのペアノの公理（自然数の公理）です。「0は自然数である」「どの自然数にも次の数がある」「数学的帰納法が使える」といった、ごく自然な決まりでできています。ペアノの公理で作った算術を、ペアノ算術（PA）といいます。

ヒルベルトが1900年に求めたのは、「算術の公理が互いに矛盾しないことの証明」でした。ヒルベルトは、「矛盾がないことが証明できれば、その公理で定義される数学の対象は、数学の中に存在してよい」とまで考えていました。

ステップ3：「無矛盾性の証明」はどう難しいのか

ふつうの定理の証明は、公理から出発して、論理のルールで一歩ずつ進みます。では「この公理からは矛盾が出ない」を示すには、どうすればよいでしょうか。

「矛盾が出るまで、すべての証明を試す」という方法は、証明が無限にあるので使えません。そこでヒルベルトは、「証明」という作業そのものを、数学の研究対象にすることを考えました。証明は、記号を一列に並べたものです。その並べ方のルールを調べて、「どんな証明を作っても、最後が $0=1$ になることはない」ことを示そうとしたのです。これを証明論（メタ数学）といいます。

ここで問題になるのが、「その証明論を進める道具は何か」です。もしも算術と同じくらい強い道具を使うなら、「算術が正しいことを、算術で確かめる」ことになり、堂々めぐりです。ヒルベルトは、だれもが疑わない、ごく単純な「有限の立場」だけを使って無矛盾性を証明しよう、と考えました。これが次に出てくる「ヒルベルト・プログラム」です。

ステップ4：式や証明を「数」で表す（ゲーデル数）

ゲーデルの発明で最も重要なのは、式や証明を、1つの自然数に置きかえるしくみです。これをゲーデル数といいます。作り方は次のようなものです。

まず、記号に番号をつけます（たとえば $0$ は 1、$=$ は 2）。式 $0=0$ は、記号が3つ並んでいます。その番号を、素数 $2,3,5$ の指数にして、$2^1\times3^2\times5^1=90$ と、かけ算でまとめます。この数 90 は、式 $0=0$ の「背番号」です。素因数分解は一通りしかない（素因数分解）ので、90 から式 $0=0$ にもどせます。

証明は「式の列」なので、同じ方法で1つの数に置きかえられます。すると、「この数は、あの式の証明の背番号である」という関係は、足し算・かけ算・割り切れるかどうかだけで書けます。つまり、算術の中で、算術自身の「証明」について語れるようになるのです。ここがゲーデルの天才的なアイデアでした。

ステップ5：自分のことを言う文

ゲーデル数があると、算術の文が、自分自身のゲーデル数を使って「この文は、この体系では証明できない」と言うことができます。この文を $G$ とよびましょう。（本物の $G$ は数だけで書かれた式ですが、意味はこのとおりです。）

もし体系で $G$ が証明できたら、$G$ は「証明できない」と言っているので、$G$ はまちがいです。まちがった文を証明したことになり、体系は矛盾しています。ですから無矛盾な体系では、$G$ は証明できません。すると $G$ の言うとおりになるので、$G$ は正しいのに、証明できない文です。これが第一不完全性定理の考え方です。「うそつきのパラドックス」（「この文はうそです」）に似ていますが、「うそ」のかわりに「証明できない」を使うことで、矛盾ではなく、決められない文が生まれます。

ステップ6：第二不完全性定理 ― 「無矛盾である」を証明できるか

第一不完全性定理の証明を、よく見てみましょう。「$T$ が無矛盾なら、$G$ は証明できない」という説明は、じつは$T$ の中で再現できるほど単純です。再現してみると、「$T$ が無矛盾である」という文 $\mathrm{Con}(T)$ から、$G$ が導けることになります。ところが $G$ は $T$ では証明できません。ですから、$T$ は $\mathrm{Con}(T)$ も証明できません。これが第二不完全性定理です。

簡単に言えば、「十分に強い体系は、自分で自分の無矛盾性を保証できない」ということです。これが、ヒルベルトの第2問題に対する、ゲーデルの答えでした。

この問題の歴史と年表

1900年：パリで出された第2問題

1900年8月、ヒルベルトはパリの国際数学者会議で、20世紀に解くべき23の問題を発表しました。その第2問題が、「算術の公理が矛盾しないことの証明」です。ヒルベルトは、数学の「できない」はない、どんな問題にも答えが出せるはずだ、という強い信念をもっていました。

1900〜1920年代：ヒルベルト・プログラム

ヒルベルトは、1920年代になると、無矛盾性の証明を中心に据えた研究計画を弟子たちと進めました。これがヒルベルト・プログラムです。数学のすべてを記号の規則として書き直し（形式化）、その規則が矛盾しないことを、だれもが納得する有限の方法だけで証明しよう、という計画です。

この間、アッカーマンやフォン・ノイマンらが、算術の一部の範囲について無矛盾性を示しました。ただし、帰納法を完全に使える算術全体はまだでした。みんなは「あと一歩だ」と思っていたはずです。

1930年：ケーニヒスベルクの2つの発表

1930年9月、ドイツのケーニヒスベルク（今のロシアのカリーニングラード）で学会が開かれました。このとき、ゲーデルが不完全性定理の結果を発表した、と伝えられています。同じ学会で、引退を迎えるヒルベルトは、数学と論理についての講演のあとに、「Wir müssen wissen. Wir werden wissen.（われわれは知らなければならない。われわれは知るだろう）」という言葉を語りました。この言葉は、ヒルベルトの墓石にも刻まれています。

1931年：不完全性定理

1931年、ゲーデルは、論文「プリンキピア・マテマティカおよび関連する体系の形式的に決定不能な命題について I」で、第一不完全性定理を発表しました。第二不完全性定理も、この論文の最後に、結果として書かれています（くわしい証明は書かれませんでした）。フォン・ノイマンも、ゲーデルの第一定理を知ったあと、自分で第二定理に気づいて手紙で知らせた、と伝えられています。

1936年：ゲンツェンの無矛盾性の証明

ドイツの論理学者ゲルハルト・ゲンツェン（1909〜1945）は、1936年に、ペアノ算術が無矛盾であることを証明する論文を発表しました。ゲンツェンの方法は、「証明を整理して簡単な形にしていくと、必ず最後は止まる」ことを、ε₀までの超限帰納法で示すものです。この方法は、第二不完全性定理に反するものではありません。ゲンツェンは「算術より強い道具」を使っているからです。

1939年以降：完全な証明と、新しい証明

第二不完全性定理の完全な証明は、1939年に、ヒルベルトとベルナイスの本『数学の基礎』第2巻にはじめて書かれました。その後も、ゲーデル自身が1958年に別の方法（ダイアレクティカ解釈）で算術の無矛盾性を示すなど、さまざまな証明が作られ、「算術の無矛盾性を証明するために必要な最小の道具は何か」の研究（順序数解析など）が育ちました。

この問題は、いつ・だれが決着をつけた？（「不可能」と分かった）

算術の無矛盾性の問題は、1931年のゲーデルによって、「ヒルベルトが目指した形（算術の中の、有限の方法だけ）では証明できない」ことが示されました。そして、1936年のゲンツェンによって、「もっと強い方法を許せば証明できる」ことが示されました。

第二不完全性定理を、くわしく言うと

第二不完全性定理が言っているのは、次のことです。

• $T$ が、算術を含むほど強い体系で、証明をコンピューターが機械的に確かめられる形（公理が決まったやり方で列挙できる）であるとする。
• $T$ が無矛盾であるなら、$T$ は「$T$ は無矛盾である」を証明できない。

注意してほしいのは、これは「算術は矛盾している」とは言っていない、ということです。むしろ、無矛盾であれば（無矛盾だからこそ）、それを自分では証明できない、という話です。もし算術が矛盾していたら、何でも証明できるので、算術は自分の無矛盾性も証明してしまいます。ですから、「算術が自分の無矛盾性を証明した」としたら、かえって矛盾の証拠になります。

ゲンツェンの証明の考え方（ざっくり）

ゲンツェンは、算術の証明を、無駄のない簡単な形に作りかえる手順（カット除去）を考えました。矛盾を導く証明があったとすると、その手順を何度もくり返すことで、証明がどんどん単純になり、最後には「$0=1$」が明らかな証明になるはずですが、そんなことはありえない、というのが無矛盾性の証明の筋道です。

問題は、「手順をくり返すと、必ず止まる」ことの確かめ方です。ゲンツェンは、証明のひとつひとつに順序数という「数え方の番号」をつけ、手順を1回行うたびに番号が小さくなることを示しました。番号は ε₀ より小さい順序数なので、「小さくなり続ける番号は、いつか必ず止まる」（超限帰納法）という原理を ε₀ まで使えば、手順は止まります。

順序数は、自然数の「順序」の考え方を、無限の先まで伸ばしたものです。自然数 $0,1,2,\cdots$ を全部数え終わった「次」の数を $\omega$ とし、さらに $\omega+1,\omega+2,\cdots,\omega\times2,\cdots,\omega^2,\cdots$ と続けます（連続体仮説で出てきたカントールの無限の数え方）。ε₀ は、$\omega,\omega^\omega,\omega^{\omega^\omega},\cdots$ とこの「塔」を無限に積んだ先にある数です。

「ε₀までの帰納法」は、有限の方法といえるか

ゲンツェンの証明は、ペアノ算術の無矛盾性を示しましたが、その道具の一つの「ε₀までの超限帰納法」が、ヒルベルトの言う「有限の立場」に入るのかどうかが、議論になりました。

• 「入らない」という見方：ε₀までの帰納法は、算術（ふつうの帰納法）では証明できない原理です。ですから、有限の立場よりも強い道具であり、ヒルベルト・プログラムの目標は達成できなかった、という見方です。
• 「それでも大きな成功だ」という見方：ε₀までの帰納法は、算術よりは強いものの、集合論のような非常に大きな仮定は使っていません。具体的な図形（順序の木）を調べるだけで確かめられるので、限りなく信頼できる、という見方です。ヒルベルト・プログラムの目標が「部分的に達成された」と考える研究者もいます。
• 「問題が解けたかどうかは、問いの読み方しだい」という見方：ヒルベルトが1900年に問うたのは「実数の公理」についてで、1920年代に変わったのは「算術」と「有限の立場」でした。どの問いに答えるかで、答えが変わるというのです。

数学者・論理学者の間でも、「この問題は解けた」「不可能と証明された」「どちらとも言える」と意見が分かれ、全員が一致する答えはありません。大切なのは、何ができて、何ができないかが、数学の言葉ではっきり分かったという点です。

今の研究：どこまでの道具で、どこまでの体系が保証できるか

現代の数学基礎論では、「ある体系の無矛盾性を示すのに、どれくらいの強さの道具が必要か」を調べる研究が盛んです。体系を強さの順に並べて、その強さを順序数で測る順序数解析は、その一つです。ペアノ算術の強さは $\varepsilon_0$ ですが、もっと強い体系は、もっと大きい順序数に対応しています。また、日本の竹内外史らは、さらに強い体系の無矛盾性についての研究に取り組みました。

ε₀が実際の数学とつながる例もあります。グッドスタイン数列は、数を「2進法で書いて、底を 2→3→4→… と順番に取りかえて、1を引く」ことをくり返す数列で、どんな出発点から始めても、いつか必ず 0 になります。しかし「必ず 0 になる」ことは、ペアノ算術では証明できないと、1982年にカービーとパリスが示しました。ε₀ までの帰納法を使えば証明できます。ふつうの数の問題が、ゲーデルやゲンツェンの話と、直接につながる例です。

この問題は、なぜ難しかったのか

1. 「数学で数学を調べる」から

この問題は、数学の対象としてではなく、数学そのものを調べる問題です。数学のルールを使って、数学のルールの性質を証明する、という「自分を見る目」が必要でした。ふつうの問題は、数や図形が対象です。この問題は、証明や論理が対象です。この見方に慣れるのが、まず難しいところです。

2. 証明が「数」になるという発想が必要だった

証明や式は、日常の感覚では「文」です。それを数に置きかえるゲーデル数は、当時の人々にとって、まったく思いもよらない発想でした。この発想がなければ、算術の中で、算術自身の「証明」を語ることはできません。

3. 「できない」を示すために、全ての可能な証明を相手にする

「無矛盾性を証明できない」と言うには、「あらゆる可能な証明の中に、答えがない」と示さなければなりません。証明は無限にあります。ゲーデルは、「自己言及の文」という具体的な文を1つ作り、その1つの文について調べることで、すべての可能性を一度に片づけました。この方法は、連続体仮説の決着や、三大作図問題の不可能性の証明とも通じるものです。

4. 「強い」ということの意味

第二不完全性定理が成り立つのは、体系が算術を含むくらい強い場合だけです。足し算だけの体系（プレスブルガー算術）は、決められない文がない「完全」な体系であることが知られています。つまり、「強いから表現力があり、そのせいで自己言及ができてしまう」という、強さと限界が裏表になった関係があります。

よくある誤解：「不完全性定理は、数学はあてにならない、という意味？」

そうではありません。不完全性定理は、「数学の定理がまちがっているかもしれない」ことを言っているのではありません。「ある1つのルールの集まりだけでは、数学の真実をすべては拾いきれない」ということを言っています。足し算・かけ算も、微分・積分も、ふつうに使えます。また、哲学や宗教など、数学以外の話に「不完全性定理が証明した」と言いかえるのは、行きすぎです。

もう一つの誤解は、「無矛盾性は証明できないのだから、算術は矛盾しているかもしれない」という考えです。数学者のほとんどは、算術に矛盾はないと信じています。ゲンツェンの証明もあるうえ、2000年以上の使用の歴史があるからです。第二不完全性定理が言うのは「自分の中だけの道具では証明できない」ということで、「矛盾している」とは言っていません。

受験・勉強とのつながり

中学受験：論理パズルと「矛盾」の考え方

中学受験の「うそつきと正直者」の問題は、矛盾の考え方そのものです。「Aさんが正直者だと仮定すると、Bさんの発言と矛盾する。だからAさんはうそつきだ」という推理は、条件整理・推理（うそつき・リーグ戦）の練習と同じように、「矛盾を導く」練習になります。条件を整理して、矛盾した場合を消していくのがコツです。

高校数学：命題と証明・数学的帰納法

数学Ⅰ・Aの「論理と集合」では、命題・逆・裏・対偶・背理法を学びます（命題とは・逆・裏の意味・対偶の意味）。背理法は「Aではないと仮定して矛盾を導く」方法で、この問題の主役である「矛盾」を使います。また、数学Bの数列で学ぶ数学的帰納法は、ペアノの公理の中心にある考え方で、ゲンツェンの超限帰納法の親戚です。

大学入試：「すべて」と「ある」の否定

大学入試の論理の問題では、「すべての $x$ について〜」の否定が「ある $x$ について〜でない」になることを使います（「すべて」と「ある」の否定）。この考え方は、「この文は証明できる」や「無矛盾である」といった命題を正確に書くときの基本になります。不完全性定理や無矛盾性そのものが入試に出ることはまずありませんが、「ことばを正確に使う」練習の土台です。

大学の数学科・情報科学：論理とコンピューター

大学の数学科では、数理論理学の授業で不完全性定理を学びます。ゲーデルの考え方は、チューリングの業績と生涯の「計算できない問題がある」という発見（停止問題）につながり、コンピューターの理論の土台になりました。P≠NP予想などコンピューターの難問を考えるときの背景にもなっています。

勉強法として：「前提」を意識する

この問題から学べるのは、「何を前提にして、どこまで言えるか」を意識することです。入試の証明問題でも、使ってよい定理と使ってはいけない定理（循環論法）の見分けが大切です。数学の勉強の進め方は数学の勉強法（解法の暗記→演習→過去問）も参考にしてください。

自由研究にも：自分のことを言う文を探そう

身のまわりにも「自己言及」はたくさんあります。「この文は10文字です」「この文は日本語で書かれています」は正しい文、「この文はまちがいです」はうそつきのパラドックスです。どんな自己言及が矛盾を生み、どんな自己言及が問題にならないかを集めてみると、ゲーデルの考えた「証明できない」の文がどれほど巧みなものか、体で感じられます。記号の読み方は数学でよく使う記号の意味一覧やギリシャ文字の読み方一覧（ω・εなど）も役立ちます。

この問題が数学・社会にあたえた影響

• 数学基礎論・証明論の誕生：「証明そのものを数学の対象にする」という見方が確立し、証明論、再帰理論、モデル理論などの分野が大きく発展しました。
• コンピューター科学の土台：式や証明を数で表し、機械的な手順で扱うという考え方は、プログラムをデータとして扱う現代のコンピューターの原理と同じです。チューリングやフォン・ノイマンの仕事は、この流れの中にあります。
• 「どこまで確かな道具が必要か」という新しい問い：逆数学（すでに知られた定理を証明するのに、最低限どの公理が必要かを調べる研究）や順序数解析が生まれました。
• 数学の哲学への影響：「数学的な真理とは何か」「証明できることと、正しいことは同じか」といった問いが、はっきりとした形で議論されるようになりました。ヒルベルトの形式主義、ラッセルの論理主義などの立場が、この結果をどう受けとめるか、今も議論されています。
• ほかの難問の理解：ゴールドバッハ予想やリーマン予想のような未解決問題が、現在のルールでは決められないのではないか、と考える人もいます。ただし、これらの問題が決められないという証拠はなく、決められないと予想するのはあくまで一つの考え方にすぎません。

ゲーデルの定理は、数学をおびやかしたのではなく、数学にできることとできないことの境目を、数学の言葉ではっきり引いた発見です。「限界の発見」が新しい数学を生む、というのは、平行線公準の問題と同じ流れです。

この問題に挑戦！練習問題

この問題と関係する数学者・難問

• ヒルベルト（23の問題とヒルベルト・プログラム）：1900年に第2問題を出し、算術の無矛盾性を有限の立場で示す計画を進めました。
• ゲーデル（不完全性定理）：1931年に、強い体系は自分の無矛盾性を証明できないことを示しました。
• ペアノ（ペアノの公理）：自然数を公理で定め、算術の理論の土台を作りました。
• カントール（順序数と集合論）：順序数を作り、ゲンツェンの証明の道具となる「無限の先の数え方」を築きました。
• チューリング・フォン・ノイマン・ラッセル・フレーゲ：論理、計算、集合論のパラドックスで、この問題とつながる数学者たちです。
• 連続体仮説（ヒルベルトの第1問題）・平行線公準の問題・三大作図問題・P≠NP予想：「決められない・できない」の証明や、計算の限界でつながる問題です。
• ビーベルバッハ予想・モーデル予想：同じ時代以降に解決した、複素関数と整数解の難問です。

ほかの解かれた難問・決着した問題

• 三大作図問題とは（不可能・決められないと証明）
  定規とコンパスだけで、円と同じ面積の正方形・体積2倍の立方体・角の三等分を作図できるか。どれも不可能と証明された
• 平行線公準の問題とは（不可能・決められないと証明）
  ほかの公理から平行線の公理を証明できるか。証明できず、成り立たない幾何学（非ユークリッド幾何学）もあると分かった
• 素数は無限にあるかとは（解決）
  素数がどこまでも続くことを、背理法で示した最も古い有名な証明の一つ
• 5次方程式の解の公式とは（不可能・決められないと証明）
  2次・3次・4次方程式のような、四則と累乗根だけの解の公式が5次方程式にもあるか。一般にはないと証明された
• ケプラー予想とは（解決）
  同じ大きさの球をいちばん密に詰める方法は、八百屋のみかんの積み方か。コンピューターで証明
• フェルマーの最終定理とは（解決）
  n≧3 のとき xⁿ＋yⁿ＝zⁿ をみたす自然数はない。360年近く解けなかった
• バーゼル問題とは（解決）
  1＋1/4＋1/9＋1/16＋… はいくつか。答えは π²/6
• ケーニヒスベルクの橋の問題とは（解決）
  7つの橋を1回ずつ渡って元にもどれるか。できないと示し、グラフ理論が生まれた
• 円周率の超越性とは（解決）
  π はどんな整数係数の方程式の解にもならない。これで円積問題が不可能と決まった
• ウェアリングの問題とは（解決）
  どの自然数も、決まった個数の k 乗数の和で書けるか（3乗なら9個）

← 前の時代：連続体仮説とは（不可能・決められないと証明）　｜　次の時代：ポアンカレ予想とは（解決） →

数学の難問・未解決問題の一覧（いつ・だれが解いたか）　｜　有名な数学者一覧

読みもの（合格大作戦の数学の記事）

• 数学でよく使う記号の意味一覧
  ∞・Σ・∫ などの記号と読み方
• ギリシャ文字の読み方一覧（24文字）
  θ・Σ・π・λ は数学で何に使う？
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け
• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• フェルマーの最終定理とは？わかりやすく解説
  n＝2と3以上の違い、ワイルズの証明

よくある質問

あわせて読みたい

• 数学の難問・未解決問題の一覧
• 有名な数学者一覧
• 算数・数学の公式一覧（公式辞典）