Peano-Halbring/Vorgängereigenschaft/Ableitung/Aufgabe

Zeige, dass die Vorgängereigenschaft

$\forall x{\left(x\neq 0\rightarrow \exists y(x=y+1)\right)}$

aus der Menge der erststufigen Peano-Axiome ableitbar

ist.

Eine Lösung erstellen