3

1+1=2は証明すべきことなのか

1562
0

はじめに

ときどき,「1+1=2は実は難しい」という主張や「1+1=2を証明せよ」といった問題(?)を目にすることがある.

そのようなものを目にするたび,1+1=2を証明することなどできるのか,そもそも証明すべきことなのかという疑問をもつ人もいることだろう.1+1=2は小学校で習う算数の基本中の基本である.ここでは,それをわざわざ証明するとはどういうことを指すのか,ということを考察したい.その中で自然数とその計算についての理論であるPeano算術について考えていく.

公理と定理

1+1=2は算数の中でも基本中の基本である足し算の最も単純な計算である.

これは自明な結果であり,実は難しいといわれてもピンとこない.ましてや証明するべき対象だとは到底考えられない.
1+1=2の証明」の問題はここにあると考えられる.すなわち,「証明なしに用いてよいもの」と,「証明すべきもの」の違いを明確に区別するということである.

数学において,最初に与えられた「証明なしに用いてよいもの」を公理(axiom)という.

そして公理から正しい推論規則を繰り返し適用して得られた結果を定理(theorem)という.
1+1=2を証明せよ」という問いにおいて1+1=2とは証明すべき定理だというわけである.

では,この問いにおける公理とは何なのであろうか.多くの場合,この点が不明確であるから「1+1=2を証明せよ」という問いも何をすればよいのかがわからないのである.

言語

1+1=2は自然数についての計算である.自然数の計算についての考察には,そもそも自然数とは何かということの考察が関わってくる.

自然数とは何かという問いは自然数についての公理をみつけようという問いであり,この問いに答えたのがG Peanoである.

そして自然数についての公理系は今日「Peanoの公理」として知られている.Peanoの公理とは次の五つの公理からなる.

Peanoの公理
  1. 0は自然数である ^1

  2. aを自然数とすると,その後者(successor)s(a)も自然数である.
    (このsを後者関数という.意味としては「+1」を指す.)

  3. 0はいかなる自然数に対してもその後者ではない.

  4. 自然数a,bに対して,abならばs(a)s(b)である.

  5. 0がある性質Pをみたし,aが性質Pをみたすならばs(a)も性質Pをみたすとする.このとき,すべての自然数は性質Pをみたす.

この公理も慣れていなければ不思議に思われることだろう.

まず,最初に「0は自然数である」などといわれても,そもそも今自然数とは何かを考えているのに何をいっているのか,となりかねない.

この公理は,我々が自然数について何かを語るとき,何もないところから始めることはできないことを物語っている.

すなわち,せめて0という記号がなければ始まらないのである.同じように後者関数を表すsも必要である.

このような記号の集合を言語という.

まずは自然数を語る上で必要な,自然数の言語について考えてみる.

Peano算術の言語

Peano算術の言語LAは次のものである.
LA={0,s,+,,<}ここで,0は定数記号,s1変数関数記号,+2変数関数記号,<2変数関係記号である.

自然数の集合を考えるだけであれば和の記号+などは必要ない.

しかし,今は自然数の計算も含めたPeano算術について考えるため,和や積の記号も用意する.

また,今回は直接用いることはないが,通常大小関係も考えるためそれに倣い<も入れておく.

上のように述べてはいるが,この時点では各記号に「意味」はない.

というのもまだPeano算術の公理を定めていないからである.

つまり,この後で公理を定め,たとえば+という記号が和を表しているものであると考えたいのである.

また,Peano算術に限らず,次のような論理記号を用いるので今回もそれにしたがうことにする.

  1. ブール結合子(かつ),(または),¬(でない)

  2. 量化記号(存在),(任意)

  3. 等号記号=

  4. 変数v0,v1,v2,vn,

  5. 括弧()

必要に応じて変数はx,y,z,のような記号も用いるし,括弧も( )の代わりに{ }[ ]も用いる.

また,(含意),(同値),!(一意に存在)を以下の論理式の省略として使用する.
φψ      ¬φψφψ      (φψ)(ψφ)!xφ(x)      x(φ(x)y(φ(y)y=x))記号の多さに辟易としてくるかもしれない.このような形式化の最初のハードルがこの記号の多さかもしれない.

今回はこのすべてを用いるわけではないし,せっかくだから載せているものも多い.

適宜読み飛ばし,わからなくなったときに再度みるくらいでちょうどいいと思われる.

Peano算術

さて,前節でPeanoの公理をみたときにも述べたが,Peanoの公理自体は自然数というモノに関する定義であってその計算などには触れられていない.計算も含めた自然数の公理系(理論ともいう)はPeano算術(Peano arithmetic)とよばれ,PAで表される.

ここではPeano算術の公理についてみていく.

後者に関する公理

  1. すべてのxに対してs(x)0である.

  2. すべてのx,yに対してxys(x)s(y)である.

Peano算術最初の公理は後者関数に関するものであり,上でみたPeanoの公理の3と4にあたる.

この公理を繰り返し適用することでs(0)ss(0) ^2 ss(0)sss(0)などが得られる.これにより
0 ,  s(0) ,  ss(0) ,  sss(0) ,  がすべて互いに異なるものとして得られる ^3 .これを自然数0,1,2,と思うわけである.

和と積の公理

  1. すべてのxに対してx+0=xである ^4

  2. すべてのx,yに対してx+s(y)=s(x+y)である.

  3. すべてのxに対してx0=0である.

  4. すべてのx,yに対してxs(y)=xy+xである.

Peanoの公理にはなかった和と積についての公理である.3と4ですべての数項についての和を定め,5と6で積を定める.

また,ここでたとえば4についてはすでにx+yが定義されているという前提のもとx+s(y)を定義している.このように帰納的に定義するやり方を帰納的定義あるいは再帰的定義という.

不等号に関する公理

  1. すべてのxに対して¬(x<0)

  2. すべてのx,yに対してx<s(y)x<yx=y

今回は不等号に関する公理は用いないため,紹介にとどめる.

帰納法の公理

この公理はPeanoの公理の5にあたる.

その内容をみてみると,帰納法は次の二つの主張を証明することですべてのxに対して性質φ(x)が成り立つと結論できる原理である.

  • φ(0)が成り立つ(起点段階).

  • すべてのxに対してφ(x)が成り立つならばφ(s(x))が成り立つ(帰納段階).

このことは記号などを用いて次のように表される.

  1. [φ(0)x(φ(x)φ(s(x)))]xφ(x)

これを帰納法の公理という.

しかし,実際には算術の言語で記述される性質φごとに公理があるため,これは無限に多くの公理が合わさったものと考えられる.そのため,帰納法の公理は帰納法の公理図式ともよばれている.

以上がPAの公理である.

これらの公理から出発して定理を導くことになる.

1+1=2の証明

いよいよ本題の1+1=2の証明に入る.

しかし,この式はそもそもPAのものではない.PAには12という記号はないからである.

まずは正確に問題をかき下すことから始める.

1+1=2

次の式はPAの定理である.
s(0)+s(0)=ss(0)

すなわち,「1+1=2証明せよ」という問題は多くの場合,定理1を証明せよということなのである.

そして,この証明には前章で紹介した和の公理のみを使用する.

どの公理を使ったかみながら示していく.

s(0)+s(0)=s(s(0)+0)4=s(s(0))3=ss(0)

ここまで,「1+1=2を証明せよ」がどのような意味をもつのかをみてきた.

結論としては,確かに1+1=2PAにおける定理であり,証明すべきことである.

しかしその証明自体は何も難しくないし,興味深いことでもない.

むしろその背後にある,理論や形式的な議論にこそ意味があるといえる.

最後に補足としてPAの言語と公理,そして「1+1=2は証明すべきことなのか」について考察する.

補足

PAの言語について

PAの言語の後者関数について,その意味としては+1である.

ではそのような不思議な関数の代わりに,はじめから1を言語に入れておけばよいのではないか.

実はそのようにするやり方もある.実際,同じ理論を考えていても異なる言語や公理を用いることがある.

そして,それらは証明能力としては同値になる. そして,言語を
LA={0,1,+,,<} とした場合,数項は
0 ,  1 ,  1+1 ,  (1+1)+1 ,   となる.

ここから何がいえるだろうか.この場合の数項2¯1+1である.よってこの場合,「1+1=2」はただの定義である.

つまり,証明すべきことではない.

PAの公理について

PAに不等号に関する公理があった.1+1=2の証明には用いないため注目しなかったが,実はそもそも<自体が他の記号から次のように定義することができる.
x,y(x<yz(z+(x+1)=y))では,なぜ<を言語に入れ,そのための公理を用意するのか.

それは論理式をその形によって分類するなどの利点があるからである.

つまり,言語や公理は最小にしなければいけないわけではなく,他の公理から導き出されるものであっても公理に追加してもよい.

ここから何がいえるか.1+1=2は先に示したようにPAの公理から証明できた.よって,これをはじめから公理に加えても矛盾しない.

この場合,1+1=2は公理とみなせ,証明しなくてもよい.

終わりに

1+1=2は証明すべきか」ということについてこれまでみてきた.

結局1+1=2は証明すべきことなのだろうか.

それは,用いている言語や理論の内容による.

広く使われているPAで考えるならば確かに一つの定理であって証明できるものであるが,わざわざそれを難しい問題のようにみせる必要があるようには思えない.

また,先述したように言語や公理の選び方によっては証明せずともよいので,証明したくない場合は最初から公理に入れている立場をとればよいと思う.

しかし,この問題を通して言語や理論を学ぶきっかけにはなるので,そういう意味では意味のある問題なのかもしれない.

参考文献

Richard Kaye Models of Peano Arithmetic Clarendon Pr,1991

菊池誠『不完全性定理』 共立出版,2014

新井敏康『数学基礎論』 岩波書店,2011

John Stillwell著,川辺治之訳『逆数学 -定理から公理を「証明」する-』

森北出版,2019

田中一之『数学基礎論序説』 裳華房,2019

結城浩『数学ガール ゲーデルの不完全性定理』 SBクリエイティブ,2009

投稿日:20201111
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

数学基礎論とくにモデル理論と算術に興味があります。ぼちぼちやっていければ

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 公理と定理
  3. 言語
  4. Peano算術
  5. 1+1=2の証明
  6. 補足
  7. PAの言語について
  8. PAの公理について
  9. 終わりに
  10. 参考文献