1.6.2  Einführung von Addition und Multiplikation auf $\mathbb{N}$

Addition: $$\begin{array}{rcll}& m+1:=m^{\prime },& & \text{(1.8)}\\ & m+n^{\prime }:={\left(m+n\right)}^{\prime }.& & \text{(1.9)}\end{array}$$

Multiplikation: $$\begin{array}{rcll}& m\cdot 1:=m,& & \text{(1.10)}\\ & m\cdot n^{\prime }:=mn+m.& & \text{(1.11)}\end{array}$$