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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
NachfolgermitSchleife.png

Es sei und es sei 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