Peano/Erststufig/Nachfolger/N und N/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei die disjunkte Vereinigung aus zwei Kopien von zusammen mit dem ausgezeichneten Element (aus der ersten Kopie) und der Abbildung , die auf beiden Kopien die übliche Nachfolgerabbildung ist. Welche der Peano-Axiome für den Nachfolger

gelten für , welche nicht?
Eine Lösung erstellen