Kurs:Analysis/Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt/Faktreferenznummer