Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Reelle Zahlen/Borel-Lebesgue-Maß/Existenz und Eindeutigkeit/Fakt/Faktreferenznummer