Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Reelle Zahlen/Intervallschachtelung/Punkt/Fakt/Faktreferenznummer