MIPO

MANABE INTELLECTUAL PROPERTY OFFICE

1+1=2の証明って?

ペアノの公理 (Peano axioms)から1+1=2が証明されます。

ペアノの公理とは、Wikipediaでは次のところにあります。

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86

  1. 1 は自然数である
  2. 任意の自然数 a に対して、a+ が自然数を与えるような右作用演算 + が存在する
  3. もし ab を自然数とすると、 a+ = b+ ならば a = b である
  4. a+ = 1 を満たすような自然数 a は存在しない
  5. 集合s が2条件「(i) 1 は s に含まれる, (ii) 自然数 a が s に含まれるならば a+ も s に含まれる」を満たすならば、あらゆる自然数は s に含まれる。

この公理にもとづいて、「1+1=2」についても、ヨビノリのたくみ先生が分かりやすく説明してくれております。

https://www.youtube.com/watch?v=6XUNqeiJmrg