Natürliche Zahlen/Dedekind-Peano/Eindeutige Isomorphie/Fakt/Beweis/Aufgabe

Beweise den Isomorphiesatz für (zweitstufige) Dedekind-Peano-Modelle.