Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Angeordneter Körper/Betragseigenschaften/Fakt/Faktreferenznummer