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

Es sei die rechts angegebene Menge mit dem Startsymbol oben links und der durch die Pfeile ausgedrückten Nachfolgerabbildung und . An welcher Stelle bricht der Beweis von Fakt

in dieser Situation zusammen?