数学的な足し算の定義（ペアノの公理から出発する）

※一般的なものと表現は違いますけど本質は同じ

1) a + 1 は、「aの次の数」

2) だから、1 + 1 は、「1の次の数（2）」

3) a + b は、(a + (b の前の数)) の次の数