机の上に、完全な手引き書があると想像してみます。
そこに書かれた規則を順番にたどれば、どんな問いにも答えが出る。
多くの人は、数学とはそういう手引き書だと感じています。
前提さえ正しく、手順さえ守れば、いつかは全部に決着がつく、と。
20世紀の初め、数学者たちも同じ理想を追っていました。
ヒルベルトは、数学を有限の規則の集まりとして整え、記号を決まった手順で動かす作業にしようとしました。
最初に受け入れる約束を「公理」、そこから結論を引き出す手順を「推論規則」と呼びます。
直観の曖昧さを締め出し、約束と手順だけで、矛盾も穴もない数学を作る。
それが完成すれば、どの命題が正しく、どれが正しくないかも、手続きに任せられるはずでした。
ゲーデルは、その理想を単純に否定したのではありません。
むしろ、理想にかなり近い形で数学を組み立てたとき、何が起こるかを調べました。
自然数の足し算や掛け算を扱えるだけの力があり、しかも矛盾を生まないしくみを用意します。
すると、その中には、自然数については正しいのに、その公理と推論規則だけでは証明できない命題が必ず残ります。
これが、いわゆるゲーデルの第一不完全性定理です。
まだ証明が見つかっていないだけ、という話ではありません。
その命題を新しい公理として加えることはできます。
けれども、新しく広げたしくみが同じ条件を満たすかぎり、また別の、内側だけでは証明できない命題が残ります。
たとえば、「連続体仮説」という問題があります。
自然数は1、2、3と数えられる数です。
実数は、数直線の上をすき間なく埋める数です。
自然数の無限と実数の無限の間に、別の大きさの無限はあるのか。
つまり、数えられる無限と、数えきれないほど細かく詰まった無限のあいだに、もう一段階の無限があるのか、という問題です。
ふつうに使われる公理だけでは、この問いには答えが出ません。
新しい公理を足せば「正しい」とできます。
けれど、別の公理を足せば「正しくない」ともできます。
正しさそのものが気まぐれになるのではありません。
同じ問題でも、どの公理を出発点にするかによって、たどり着く答えが変わることが見えてくるのです。
数直線をすき間のないものとして見る考え方は、数学だけの話ではありません。
物理学でも、空間や時間をどう考えるかと切り離せません。
空間や時間を、切れ目なく続くものとして扱う。
その前提の上で、粒子や力を説明する理論が作られてきました。
ある物理学者は、時空を連続したものとして扱うかぎり、物理の理論の中にも、決めきれない問題が入り込むと言います。
すべてを一つにまとめる理論を目指すなら、空間と時間は、切れ目のない布ではなく、数えられる点の集まりに近いものとして考えたほうがよいのかもしれない、と。
この話をそのまま受け取ると、ゲーデルは数学に終止符を打った人に見えてしまいます。
けれど、ゲーデル自身はそこまで単純には考えていませんでした。
決まらないというのは、一つのしくみの中での話です。
あるしくみでは証明できない命題も、別の公理を加えてより大きくしたしくみなら扱えるかもしれません。
完璧でないことは、限界の宣告とは限りません。
私たちが数学で扱おうとしているもののほうが、手元の道具よりも大きいという知らせかもしれないのです。
答えの出ない問いの前では、手引き書が役に立たなくなったように見えます。
けれど、そこで本を閉じる必要はありません。
開いたページの横に、もう1冊のノートを置き、誰かと同じ一行を見直す時間が始まります。
正しいのに、いまの約束と手順だけでは届かないかもしれない一行。
その前で立ち止まることは、敗北ではなく、次の約束を探しはじめる姿勢に近いのかもしれません。
参考文献：
Wolchover N. What Do Gödel’s Incompleteness Theorems Truly Mean? Quanta Magazine. Published May 18, 2026. Accessed May 22, 2026. https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
紹介した論文の音声概要を、NotebookLMでポッドキャスト化してみました。あわせてお楽しみください。
