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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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?
Eine Lösung erstellen