Dedekind-Peano-Modell/Isomorphismus/Multiplikation/Aufgabe

Es seien $N_1$ und $N_2$ Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei

$\phi :N_1⟶N_2$

der eindeutig bestimmte Isomorphismus mit  $\phi (0_1)=0_2$  und  $\phi (n^{\prime })=(\phi (n){)}^{\prime }$  für alle $n\in N_1$. Zeige, dass $\phi$ die Multiplikation respektiert, dass also

$\phi (m\cdot n)=\phi (m)\cdot \phi (n)$

für alle $m,n\in N_1$ gilt.

Eine Lösung erstellen