Potenzrechnung

Ist $a\in$   $\mbox{$\mathbb{N}$}$ so gibt es nach dem Abschnitt3.3 eine Abbildung $m(a,--):$$\mbox{$\mathbb{N}$}$$\ni \mapsto a\cdot n\in$   $\mbox{$\mathbb{N}$}$. Zu dieser Abbildung gibt es nach dem Rekursionsatz genau ein Homomorphismus $h(a,--):()$$\mbox{$\mathbb{N}$}$$,s)\rightarrow ($$\mbox{$\mathbb{N}$}$$,m(a,--))$ mit $h(a,1)=1$.

Satz 3.8   Es ist $h(a,b+c)=h(a,b)\cdot h(a,c)$.