MDLUL/Archimedesaxiom (R)

Start=Archimedesaxiom (R)

MDLUL/Archimedesaxiom (R)

Ziel=Angeordneter_Körper/Archimedisch/Definition