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