Peano-Halbring/Vorgängereigenschaft/Ableitung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die Vorgängereigenschaft

aus der Menge der erststufigen Peano-Axiome ableitbar

ist.
Eine Lösung erstellen