Peano-Axiome/Nachfolger/Vorgängereigenschaft/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die Vorgängereigenschaft

aus der Menge der Peano-Axiome für den Nachfolger

folgt.
Zur Lösung, Alternative Lösung erstellen