Zum Inhalt springen

Zahlentheorie/Formaler Aufbau/Induktion/Existenz des Vorgängers/Aufgabe

Aus Wikiversity

Zeige ausgehend von den Dedekind-Peano-Axiomen,

dass jedes Element , , einen Vorgänger besitzt.