Peano-Halbring/Nichtarchimedische Modelle/Existenz/Fakt

Es gibt Peano-Halbringe, die nicht zu isomorph sind, also nicht die zweitstufigen Dedekind-Peano-Axiome erfüllen.