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