Lemma 25.1 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 25
Rationale Zahlen/Archimedes-Axiom/Fakt