R/Nichtnegativ/Kein Peano-Halbring/Aufgabe

Aus Wikiversity

Zeige, dass mit und der natürlichen Addition und Multiplikation die ersten sechs Peano-Axiome

erfüllt, aber nicht das Induktionsaxiom.