Natürliche Zahlen/Zählen/Nachfolgerabbildung/Isomorphie/Fakt/Beweis/Aufgabe

Beweise den Isomorphiesatz für Dedekind-Peano-Modelle.