Lemma 25.3 Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 25
Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt