Peano-Axiome/Positiver Polynomring/Kein Induktionsschema/Beispiel/Vorgängereigenschaft/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in aus Beispiel

jedes Element einen eindeutig bestimmten Vorgänger besitzt.
Eine Lösung erstellen