なぜ1+1=2の証明に数百ページ？数学者が挑んだ驚愕の真相と基礎理論

なぜ1+1=2の証明に数百ページ？数学者が挑んだ驚愕の真相と基礎理論についての疑問解決ガイドを徹底解説します。

『プリンキピア・マテマティカ』の論理主義的アプローチはあまりに壮大かつ難解ですが、現代の数学教育や情報科学で一般的に用いられる標準的な手法は、イタリアの数学者ジュゼッペ・ペアノが定式化したペアノの公理に基づくアプローチです。これを用いれば、証明の本質を驚くほどシンプルに理解できます。

ペアノは、自然数（0, 1, 2, 3…）を厳密に扱うために、5つの根本的な約束事（公理）を定めました。そのエッセンスは「スタート地点の存在」と「次の数を生み出すルール（後者関数：Successor）」にあります。

自然数の公理と定義

ペアノの枠組みでは、数は以下のように直線の連なりとして定義されます。

• 公理1：0は自然数である。
• 公理2：任意の自然数 $a$ には、その「次の数（後者）」が存在し、それを $S(a)$ と書く。

このルールに従うと、「1」や「2」という日常の文字は次のように厳密に定義されます。

• 「1」とは、0の次の数である：$1 = S(0)$
• 「2」とは、1の次の数である：$2 = S(1) = S(S(0))$

ペアノの公理における加法の定義

次に、足し算（加法）という演算を以下の2つの規則だけで定義します。

• 規則A：任意の自然数 $a$ に対し、$a + 0 = a$ とする（0を足しても変わらない）。
• 規則B：任意の自然数 $a, b$ に対し、$a + S(b) = S(a + b)$ とする（「次の数」を足すことは、足した結果の「次の数」に等しい）。

実際の証明プロセス（わずか4ステップ）

準備はこれだけです。記号の定義に沿って「1+1」を変形していきましょう。

1. まず、左辺の「1 + 1」を書きます。
2. 後ろの「1」を定義である「$S(0)$」に置き換えます。
$$\to 1 + S(0)$$
3. ここで加法の定義【規則B】を適用します（$a=1, b=0$ とみなす）。
$$\to S(1 + 0)$$
4. カッコの中の「$1 + 0$」に対し、加法の定義【規則A】を適用します（$1+0 = 1$）。
$$\to S(1)$$
5. 最後に「$S(1)$」は、定義により「2」そのものです。
$$\to 2$$

したがって、「1+1=2」が成立することが完全に証明されました。記号のルールさえ定めれば、直感に頼ることなく、純粋な代数的操作だけで「1+1=2」が導き出せるのです。