1+1=2は証明できる？ペアノの公理を簡単にたどってみた

「1+1=2なんて当たり前でしょ」と思う気持ちはよくわかります。でも「じゃあ証明してみて」と言われると、急に言葉が詰まりませんか？

わたしもそうでした。意味は知ってるつもりなのに、いざ説明しようとすると「なんとなく2になるから」以上のことが出てこなくて、それが少し引っかかっていたんですよね。

『ゴイノワ』のナギです。今回は「1+1=2の証明」を、数学が専門じゃない人にもわかるくらいの言葉でたどってみます。

「証明」って、何をしようとしてるの？

まず立ち止まりたいのはここです。1+1=2の「証明」とは、「1+1が2になることを確かめる」のではなく、そもそも数とは何か、足し算とは何かをゼロから定義して、そこから2を導き出す作業のことを指しています。

わたしたちが「1個と1個で2個」と感じるのは、日常の感覚です。でも数学の世界では、その「感覚」を一度脇に置いて、記号と論理だけで積み上げ直す必要があります。証明とは、その積み上げの過程を見せることなんです。

ペアノの公理という出発点

この証明の土台になるのが、19世紀のイタリアの数学者ジュゼッペ・ペアノが考えた「ペアノの公理」です。自然数をゼロから論理だけで定義しようとした、5つのルールのまとまりです。

骨格だけかいつまむとこうなります。

ここでのポイントは「S(n)」という後継者関数です。S(0)が1、S(1)が2、という具合に、「次の数」を積み上げていくことで自然数全体が定義されます。

1と2は、どう定義される？

ペアノの公理では最初から「1」「2」という文字は出てきません。1はS(0)、つまり「0の次の数」として定義されます。同様に、2はS(S(0))、「0の次の次の数」として定義されます。

ここが少しおもしろいところで、わたしたちが何気なく「1」「2」と書いている記号は、この定義の省略形に過ぎないんです。記号の便利さに慣れすぎていて、その背後の定義を意識しないまま使っていることに気づかされます。

1+1=2が成り立つ流れ

足し算も、ペアノの公理の中で「n+0=n」「n+S(m)=S(n+m)」という形で再帰的に定義されます。この2つのルールだけを使えば、1+1=2が導けます。

流れを言葉でなぞると、こうなります。1+1は「1+S(0)」と書き換えられ、加法の定義からS(1+0)になります。さらに1+0=1なので、S(1)になる。そしてS(1)は、2の定義そのものです。

つまり1+1=2は、定義と公理から論理的に導かれる必然であって、「経験で知っていること」とは意味の層が違います。

379ページかかった話の背景

20世紀初頭、バートランド・ラッセルとアルフレッド・ホワイトヘッドは『プリンキピア・マテマティカ』という著作の中で、数学全体を記号論理学だけで再構築しようとしました。その中で1+1=2が正式に証明されるのに、700ページ以上を費やしたと言われています。

これは「証明が難しい」というより、「数とは何か」「論理とは何か」という問い自体が途方もなく深い、ということの表れです。証明そのものより、証明の土台を作る方がずっと時間がかかる場合もあります。

「簡単に言うと」どういう話か

「1+1=2の証明」を簡単にまとめると、「自然数・足し算・各記号の意味を一から定義して、そのルールに従うと1+1は必ず2になる、と論理的に示すこと」です。感覚で知っていることを、感覚なしに言語化する作業とも言えます。

この話を知っていると、「なんで1+1=2なの？」という質問への答えが少し変わります。「そういうもんだから」ではなく「そう定義されているから、そしてその定義から論理的に導かれるから」と言えるようになります。

もう少し深く知りたい場合は「ペアノの公理」で調べるのが一番の近道です。数式が苦手でも、後継者関数のイメージをつかめれば、証明の筋道はぐっと見えやすくなりますよ。