Peano/Erststufig/Nachfolger/N und N/Aufgabe
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?
