Start=Archimedesaxiom

MDLUL/Archimedesaxiom

Ziel=Angeordneter_Körper/Archimedisch/Definition