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

Zeige, dass in ${}M\subseteq \mathbb {Z} [V]$ aus Beispiel

jedes Element

{}\neq 0

einen eindeutig bestimmten Vorgänger besitzt.