Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt/Beweis

Beweis

Wir betrachten . Aufgrund des Archimedes-Axioms gibt es ein mit . Da positiv ist, gilt nach Fakt  (6) auch .