Let \(n\in \mathbb N\) be a natural number, and let \(n^+\) denote the successor of \(n\). The multiplication of natural numbers is a map \[\cdot:\mathbb N\mapsto\mathbb N\] defined recursively as \[\begin{array}{ccl} n\cdot 0&:=&0\\ n\cdot m^+&:=&(n\cdot m) + n \end{array} \]
The above definition explains the multiplication (denoted by "\(\cdot\)") in terms of the addition operation of natural numbers, denoted by "\( + \)".
The number \(n\cdot m\) is called the product of the natural numbers \(n\) and \(m\).
Corollaries: 1
Corollaries: 1
Definitions: 2
Proofs: 3 4 5 6 7 8 9 10 11 12
Propositions: 13 14 15 16 17 18 19 20 21
