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