完全性

体系が自分自身を語りつくせるか

形式体系における「完全性（completeness）」とは、その体系の言語で表現できる真な命題がすべて、体系の中で証明可能である性質を指す。この問いの重さは、問い方によって変わる。「証明できることと真であることは一致するか」——数学基礎論が20世紀初頭に突き当たった核心だ。完全な体系では、真な命題は必ず証明でき、偽な命題の否定も必ず証明できる。言い換えれば、「証明も反証もできない命題」が存在しない体系だ。この理想は直観的に魅力的だ——数学の真理はすべて、十分な努力さえあれば証明できるはずだという信念に対応する。しかし現実はその信念を裏切った。

意味的完全性と統語的完全性の分岐

完全性には二つの区別がある。意味的完全性（semantic completeness）とは、すべての「真な」命題が証明可能であること。統語的完全性（syntactic completeness）とは、いかなる命題もその体系で証明か反証のどちらかが可能であること。クルト・ゲーデルは1929年の博士論文で、一階述語論理が意味的に完全であることを証明した——有効式はすべて証明可能だ。これがゲーデルの「完全性定理」だ。しかし翌々年の1931年、同じゲーデルがペアノ算術を含む十分豊かな形式体系では統語的完全性が成立しないことを示した。これが「不完全性定理」だ。同じ人物が、一方では完全性を証明し、他方では完全性の不可能性を証明した。この対比は、完全性という概念の豊かさを示している。

自己言及が引き起こす崩壊

不完全性定理の証明の核心は、「この命題は証明不可能である」という種類の自己言及的な命題を形式体系の内部に構成できることの発見だった。古代ギリシャの「嘘つきのパラドックス」の数学版だ。もしこの命題が証明可能なら、体系は矛盾を含む（証明不可能な命題を証明したことになる）。証明不可能なら、証明不可能だが真な命題が存在する。高橋昌一郎がゲーデルの哲学で丁寧に解説するように、自己言及という現象が完全性という理想を内側から崩壊させる。どれほど精緻な体系を構築しても、体系が自分自身を完全に語ることは不可能だ。

完全性なき数学の後に

完全性が成立しないと知ったとき、数学は何を失い何を得たのか。失ったのは「すべての数学的真理はいつか証明できる」という楽観だ。得たのは数学の限界についての正確な知識と、その限界そのものを研究する道具だ。形式体系の研究は完全性の欠如を前提に、モデル理論・計算可能性理論として発展した。TNT（Typographical Number Theory）のような人工的形式体系を通じて、完全性と不完全性の境界を精密に測る試みは続く。完全性という夢が終わった場所から、より豊かな問いの地図が開かれた。限界を知ることは、限界に閉じ込められることではない。

完全性の問いは、数学だけの問いではない。「あるシステムはそのシステム自身を完全に記述できるか」という問いは、科学理論・言語・意識の問いにも響く。物理学の「万物の理論」は自然全体を記述できるが、その理論自体の正しさはどうやって確認するのか。意識は自分自身を完全に観察できるのか。ゲーデルの不完全性定理が数学に開いた問いは、知識の本質についての哲学的問いとして広がり続けている。 それは終わりではなく、新しい問いの地図の始まりだ。完全性の夢が消えた後に何が残るかを問うことが、現代の知識論の課題となっている。