Peano-Halbring/Nichtarchimedische Modelle/Existenz/Fakt/Beweis/Aufgabe

Zeige, dass es einen Peano-Halbring ${}M$ mit der Eigenschaft gibt, dass es darin ein Element ${}x\in M$ gibt, das größer als jede natürliche Zahl in ${}M$ (also Zahlen der Form ${}1+1+\cdots +1$) ist.

Zur Lösung, Alternative Lösung erstellen