Kurs:Vorkurs Mathematik (Osnabrück 2009)/Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt/Faktreferenznummer