(D2.2.1): Addition of natural numbers. Let \(m\) be a natural number. To add 0 to \(m\), define \(0+m=m\). Assume inductively we have...
(D2.3.1) Multiplication of natural numbers. Let \(m\) be a natural number. We define \(0\times m=0\). Now if we know \(n\times m\), we...
(D2.1.1): A natural number is any element of the set: \begin{equation*} \mathbf{N}:=\{0,1,2,3,4, \ldots\} \end{equation*} Let \(n++\)...