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

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

1) a × 1 は、「aに等しい」

2) a × b は、(a × (b の前の数)) + b