Peano-Halbring/Nichtarchimedische Modelle/Existenz/Fakt

Es gibt Peano-Halbringe, die nicht zu ${}\mathbb {N}$ isomorph sind, also nicht die zweitstufigen Dedekind-Peano-Axiome erfüllen.

Zum Beweis, Alternativen Beweis erstellen