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 は自然数である
- 任意の自然数 a に対して、a+ が自然数を与えるような右作用演算 + が存在する
- もし a, b を自然数とすると、 a+ = b+ ならば a = b である
- a+ = 1 を満たすような自然数 a は存在しない
- 集合s が2条件「(i) 1 は s に含まれる, (ii) 自然数 a が s に含まれるならば a+ も s に含まれる」を満たすならば、あらゆる自然数は s に含まれる。
この公理にもとづいて、「1+1=2」についても、ヨビノリのたくみ先生が分かりやすく説明してくれております。