Satz 48.5
Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 48
Dedekindscher Schnitt/Reeller Punktschnitt/Fakt