Dedekind-Peano-Axiome/Isomorphie/Schleife/Als Start/Aufgabe

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