第11章：公理系における「もし～ならば」――数学のルールを作る
――絶対的真理から「条件付きの必然」への転換
11.1 数学は「If」の探求である
現代数学において、数学の本質は「絶対的に正しいこと」を宣言することではありません。数学とは、「もし、特定のルール（公理）を認めるならば、どのような結論（定理）が導かれるか」を追求する、壮大な条件付き必然性の体系です。
11.2 非ユークリッド幾何学の衝撃
かつて「平行線公理」は自明な真理だと思われていました。しかし、19世紀の数学者たちは「もし、平行線が一本も存在しなかったら？」「もし、無数に存在したら？」という、常識を疑う「if」を置きました。 その結果、矛盾のない新しい幾何学が誕生しました。真理は一つではない。公理という「前提としての if」を選択することで、私たちは住むべき宇宙を自ら設計できることが明らかになったのです。
11.3 ゲーデルの不完全性定理：メタ・レベルの「if」
クルト・ゲーデルは、数学における「if」の限界を証明しました。
「ある公理系が、もし無矛盾であるならば、その系の中には証明も反証もできない命題が必ず存在する」 数学は、自分自身の正しさを自らの中で完結させることができません。数学の「if」の連鎖は、常に外部からの新しい「もし（公理）」を必要とする、開かれた系なのです。
11.4 ペアノの公理：1+1=2 を生むエンジン
自然数という概念さえも、ペアノが定めた 5 つの「if」から生成されます。 「もし が自然数であるならば、その次の数 もまた自然数である」 このシンプルな「if」の再帰的な連鎖によって、無限の数の宇宙が構築されています。
11.5 第11章の結語：理性的自由の獲得
公理主義という視点を得た数学は、神の法を写し取るものから、人間が「もし～ならば」というルールを設計して探索する、自由な知的冒険へと進化しました。 次章では、この決定論的な論理の連鎖を離れ、不確実な未来を「もし」で測る世界――確率論へと足を進めましょう。