Dedekind-Peano-Axiome/Isomorphie/Schleife/2/Aufgabe

Es sei ${}N_{1}=(\mathbb {N} ,0,\prime )$ und es sei ${}N_{2}$ die rechts angegebene Menge mit dem Startsymbol oben links und der durch die Pfeile ausgedrückten Nachfolgerabbildung. An welcher Stelle bricht der Beweis von Fakt in dieser Situation zusammen?

Eine Lösung erstellen