Kurs:Analysis (Osnabrück 2014-2016)/Reelle positive Zahl/Quadratwurzel/Eindeutige Existenz/Fakt/Faktreferenznummer