Dedekind-Peano-Modell/Isomorphismus/Addition/Aufgabe

Es seien ${}N_{1}$ und ${}N_{2}$ Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei

$\varphi \colon N_{1}\longrightarrow N_{2}$

der eindeutig bestimmte Isomorphismus mit ${}\varphi (0_{1})=0_{2}$ und ${}\varphi (n')=(\varphi (n))'$ für alle ${}n\in N_{1}$. Zeige, dass ${}\varphi$ die Addition respektiert, dass also

${}\varphi (m+n)=\varphi (m)+\varphi (n)\,$

für alle ${}m,n\in N_{1}$ gilt.

Eine Lösung erstellen