Start=Archimedes-Axiom

MDLUL/Archimedes-Axiom

Ziel=Angeordneter Körper/Archimedisch/Definition