>>1
＜自然数の定義＞
１は自然数である。
ｎが自然数であるとき，次の自然数をｎ’と定義する。
１’＝２，２’＝３，３’＝４……と定義する。
＜自然数の足し算についての定義＞
ｎ＋１＝ｎ’と定義する。
ａ＋ｂ’＝（ａ＋ｂ）’と定義する。
以上の定義より，１＋１＝２は定義である。