第11章：公理系における「もし～ならば」――数学のルールを作る
――絶対的真理から「条件付きの必然」へのパラダイムシフト
11.1 数学の正体：真理の追求か、あるいは「If」の探求か
一般に、数学は「不変の真理」を扱う学問であると信じられている。小学校で習う「」から、大学で学ぶ高度な微分積分に至るまで、数学が提示する事実は、時代や場所、さらには宇宙のどこであっても通用する絶対的な正解であるかのように見える。しかし、近代数学が辿り着いた結論は、私たちのこの素朴な信頼を根底から揺さぶるものであった。
現代数学の視点に立てば、数学の本質とは「絶対的に正しいこと」を宣言することにはない。そうではなく、数学とは、「もし、特定のルール（公理）を認めるならば、どのような結論（定理）が論理的に導かれるか」を追求する、壮大な「条件付きの必然性」の体系である。
この章では、数学という巨大な知の伽藍（がらん）が、実はいかに脆くも美しい「もし（Axiom）」という前提の上に築かれているのか、その深淵を解剖していく。数学的「if」は、個別の命題を繋ぐ役割を超え、数学という学問そのものの「存在意義」を規定するメタ・レベルの構造へと昇華される。私たちは、絶対的な真理という重力から解放され、純粋な論理の宇宙へと飛び立つための「ルール作り」の現場に立ち会うことになる。
11.2 ユークリッドの遺産：公理的メソッドの夜明け
数学における「if」を「公理（Axiom）」という形にまで高めた最初の人物は、紀元前3世紀の古代ギリシャの数学者ユークリッドである。彼の著書『原論（Elements）』は、人類史上初めて、少数の「前提」から膨大な「結論」を導き出すという、現代数学のひな形を作り上げた。
11.2.1 「自明な真理」としての公理
ユークリッドにとって、公理（または公準）とは、証明する必要すらないほど「自明に正しい」と考えられた前提であった。「二点の間には直線を引くことができる」や「直角はすべて互いに等しい」といった、疑いようのない事実。これらは当時の数学者にとって、「もし……ならば」の「もし」として置くことに一抹の不安も感じさせない、鉄壁の真理であった。
ユークリッド幾何学のすべての定理は、実は次のような巨大な一文として表現される。 「もし、ユークリッドの5つの公理を認めるならば、ピタゴラスの定理は真である。」
ここでは、「if」は証明の各ステップを繋ぐ鎖であると同時に、幾何学という宇宙全体を定義する「境界線」としての役割を果たしていた。ユークリッドによって、数学は「直感的な知識の寄せ集め」から、一貫した「論理の建築物」へと変貌を遂げたのである。
11.3 ヒルベルトの形式主義：意味を剥ぎ取った「純粋な If」
ユークリッドから2000年以上が経過した19世紀末、ダフィット・ヒルベルトという巨人が登場し、公理の意味をさらに過激な方向へと推し進めた。ユークリッドにとって公理は「現実の世界を写し取った真理」であったが、ヒルベルトにとって公理は単なる「記号の操作ルール」へと純化された。
11.3.1 「点、直線、平面」をテーブルや椅子に言い換える
ヒルベルトの有名な言葉がある。「点、直線、平面の代わりに、いつでもテーブル、椅子、ビールジョッキと言い換えても、幾何学は成立しなければならない」。
これは、公理という「if」の内容が何であるか（意味）は問わない、という宣言である。重要なのは、その「if」がどのような論理的関係を規定しているか、という形式のみである。このヒルベルトの「形式主義」によって、数学的「if」は現実世界の束縛から完全に解き放たれた。
「もし、対象 が性質 を持ち、対象 が……」というルールさえあれば、 が宇宙の星であろうが、コンピュータ内の電子であろうが、あるいは何の意味も持たない空虚な記号であろうが、そこから導かれる「then」の正しさは揺るがない。ヒルベルトによって、数学は「この世界を記述する道具」であることをやめ、「ありうるすべての論理的宇宙を探索するための言語」へと昇華されたのである。
11.4 非ユークリッド幾何学の衝撃：究極の「もし……でなかったら」
公理が「絶対的な真理」ではなく「選択可能な前提（if）」であることを、最も劇的な形で人類に知らしめたのは、非ユークリッド幾何学の誕生であった。
11.4.1 第5公理を巡る2000年の疑念
ユークリッド幾何学には「平行線公準」という、他よりも複雑で直感に頼る第5の公理があった。「直線外の一点を通る平行線はただ一本存在する」というものだ。あまりに不細工なこの公理を、他のシンプルな公理から証明しようと、歴代の天才たちが挑んでは敗れ去っていった。
19世紀、ガウス、ボヤイ、ロバチェフスキーといった数学者たちは、驚くべき逆転の発想に至った。彼らは、「第5公理が正しいことを証明する」代わりに、「もし、第5公理が間違っていると仮定したならば、どのような世界が見えるか？」を問うたのである。
11.4.2 矛盾のない「異世界」の発見
- もし、平行線が一本も存在しないとしたら？（楕円幾何学）
- もし、平行線が無数に存在するとしたら？（双曲幾何学）
当初、彼らはこの「if」の先に矛盾が生じ、ユークリッド幾何学の絶対性が証明されることを期待していた。しかし、結果は真逆であった。第5公理を捨てた、あるいは書き換えた新しい幾何学の世界においても、論理的な矛盾は一切生じず、ピタゴラスの定理に代わる新しい、しかし完璧な整合性を持った定理たちが次々と姿を現したのである。
この発見は、人類の知性に「真理は一つではない」という衝撃的な事実を突きつけた。数学における公理とは、絶対的な「真」を写し取ったものではなく、私たちが住む宇宙や、思考の枠組みを選択するための「オプションとしての if」に過ぎなかった。非ユークリッド幾何学の誕生は、数学的「if」が現実の支配を脱し、イデアの海を自由に航海し始めた瞬間であった。
11.5 公理的集合論と「選択公理」：真理の選択
20世紀、数学の基盤が集合論（第7章）の上に据えられるようになると、この「公理としての if」の重みはさらに増していった。現代数学のOSである ZFC（ツェルメロ・フレンケル・選択公理） の中でも、特に「選択公理（Axiom of Choice）」は、数学者が直面する究極の「If」の決断を象徴している。
11.5.1 「選べる」ことを公理とする
選択公理は、「空でない集合の集まりから、それぞれの集合の要素を一つずつ選んで新しい集合を作ることができる」という、極めて当たり前のように思える主張である。しかし、この「もし選択公理を認めるならば」という一言が、数学の風景を二分する。
- 選択公理を認めれば、現代解析学の多くの美しい定理（関数空間の性質など）が証明可能になる。
- しかし同時に、バナッハ＝タルスキーの逆説（球体を分割して再構成すると、元の2倍の体積の球体ができる）という、物理的直感に反する「怪物」もまた、数学的真理として認めなければならなくなる。
現代の数学者は、この「if」を選択することの代償を深く自覚している。公理を選ぶということは、どのような真理の世界に身を置くかを選ぶことであり、数学的「if」はもはや純粋な推論の道具ではなく、知の設計図を決定するための「創造的な意志」となったのである。
11.6 ゲーデルの不完全性定理：条件付き真理の限界とメタ・レベルの「if」
20世紀初頭、ヒルベルトが抱いた「数学のすべてを完璧な公理系として完成させる」という夢は、1931年、クルト・ゲーデルという若き天才が発表した二つの定理によって、永遠に失われることとなった。不完全性定理と呼ばれるこの発見は、数学における「if」という構造が抱える、ある種の実存的な限界を白日の下にさらした。
11.6.1 「もし無矛盾であるならば」という残酷な前提
ゲーデルの第一不完全性定理を、本稿のテーマである「if」の形式で表現すると次のようになる。 「自然数論を含むある公理系 において、もし が無矛盾であるならば、 の中には、真であるにも関わらず証明も反証もできない命題（ゲーデル文）が必ず存在する。」
さらに第二不完全性定理は、より衝撃的な「if」を提示する。 「もし が無矛盾であるならば、 自身の無矛盾性を、 の中だけで証明することは不可能である。」
ここにあるのは、第1章で学んだ命題論理の内部にある「if」ではなく、公理系というシステムそのものを外側から眺める「メタ・レベルの if」である。ゲーデルは、数学が「自分自身の正しさを、自分自身のルール（if）だけで完結させることはできない」ことを証明した。数学という知の伽藍は、どれほど高く積み上げても、その頂上を支えるための最後の一押しを、外部の「もし」に頼らざるを得ない。不完全性定理は、数学における「if」が、究極の真理への到達を阻む高い壁であると同時に、常に新しい「もし（公理）」を受け入れるための「開かれた窓」であることを教えてくれる。
11.7 ペアノの公理と算術の構築：1+1=2 を生む「生成の if」
数学において最も基本的な事実である「1+1=2」や、自然数の性質。これらさえも、現代数学においては自明な真理ではなく、「もし……ならば」から構成される構築物である。イタリアの数学者ジュゼッペ・ペアノが定式化した「ペアノの公理」は、自然数という宇宙をたった5つの「if」から作り出した。
11.7.1 次々と数を生み出す論理の連鎖
ペアノの公理の中核にあるのは、次のような「後者（Successor）」に関する「if」の構造である。
- 0 は自然数である。
- もし が自然数であるならば、その「後者」 もまた自然数である。
このシンプルな「if」は、第5章で学んだ「数学的帰納法」の直接的なモデルである。0 という種火にこの「if」の風を吹き込むことで、1, 2, 3……と無限に続く自然数の鎖が生成される。ここでは、「if」は真偽を判定する道具を越えて、新しい概念を次々と生み出す「生成のエンジン」としての役割を担っている。
私たちが「1+1=2」と言うとき、それは深層においては「もしペアノの公理というルールを採用するならば、1 の後者は 2 と定義され、和の演算によってこれらは等しくなる」という、膨大な条件付き命題の結果を口にしているのである。数の世界という当たり前の現実さえも、実は精密に設計された「if」の檻の中に存在しているのだ。
11.8 モデル理論：抽象的な「if」が現実に宿る瞬間
ヒルベルトが目指したように、公理系そのものは中身のない「空虚なルール（if）」の集まりに過ぎない。しかし、そのルールが具体的な「世界（対象）」と結びついたとき、数学は驚異的な力を発揮する。これを研究するのがモデル理論である。
11.8.1 ルール（Syntax）と世界（Semantics）の架け橋
ある公理系 があったとき、その公理系のすべての「if」が真となるような具体的な対象の集合を、 の「モデル」と呼ぶ。 例えば、群論の公理系（第13章で詳述）という「if」の束を考えてみよう。
- 「もし が要素ならば、 も要素である」……等。
この抽象的な「if」を満たすモデルは、整数の加法であったり、図形の対称移動であったり、素粒子のスピンの状態であったりと、宇宙の至る所に存在する。モデル理論の核心は、「もしある性質が公理系から論理的に導かれるならば、その性質はあらゆるモデルにおいて（それが整数であれ素粒子であれ）例外なく成立していなければならない」という「完全性定理」（これもゲーデルの功績である）にある。
数学における「if」は、ここにおいて、個別の物質の個性を消し去り、それらに共通する「構造の真理」を抽出するための、透明で普遍的なレンズとなる。一つの「if」の鎖を証明することは、それを満足する無数の現実世界を同時に支配することに他ならない。数学の圧倒的な応用力の秘密は、この「抽象的な if」と「具体的なモデル」の間の完璧な同調にあるのである。
11.9 結語：絶対性の喪失と、論理的自由の獲得
本章では、数学という知の最深部を形作る「公理系」において、「if」がいかにして究極の役割を果たしているかを詳述した。
- 数学は「絶対的真理」の集積ではなく、「もし（公理）ならば（定理）」という条件付きの必然性の体系である。
- ユークリッドからヒルベルトへ、公理は「自明な事実」から「自由に選択可能なルール（if）」へと進化した。
- 非ユークリッド幾何学は、前提となる「if」を書き換えることで、新しい知の宇宙を創造できることを証明した。
- ゲーデルの不完全性定理は、公理系という「if」の体系が抱える、回避不能な限界と可能性を指し示した。
- ペアノの公理やモデル理論は、抽象的な「if」がいかにして数という実体を作り出し、現実の構造を規定するかを明らかにした。
かつて数学は、神が作った絶対的な法を写し取るものだと考えられていた。しかし、公理主義という視点を得た現代、数学は人類が自らの理性によって「もし……ならば」というルールを設計し、その帰結を探索する、極めて自由で創造的な営みとなった。絶対的な真理を失った代わりに、私たちは無限の論理的な宇宙を航海するための「自由」を手に入れたのである。
数学における「if」は、私たちがどのような思考の宇宙に住むかを選択する「主権」そのものである。
さて、数学の最も抽象的でメタな次元における「if」の闘争を終えた私たちは、次章において、再び視点を「現実の不確実性」へと戻すことになる。それは、決定論的な公理の連鎖を離れ、可能性と偶然が支配する世界――「第12章：確率論における条件付きの『if』」である。「もし～が起こったとしたら、確率はどう変わるか？」という条件付きの論理がいかにして不確かな未来を予見するのか。数学的「if」の物語は、いよいよ知性の適応戦略としての側面を現し始める。