Peano-Halbring/Vorgängereigenschaft/Ableitung/Aufgabe

Zeige, dass die Vorgängereigenschaft

$\mathrm{\forall }x(x\ne 0\to \mathrm{\exists }y(x=y+1))$

aus der Menge der erststufigen Peano-Axiome ableitbar ist.

Eine Lösung erstellen