Start=positive (R)

MDLUL/positive (R)

Siehe=positiv (R)
MDLUL/positiv (R)
Ziel=Reelle Zahlen/Anordnungsaxiome/Archimedes/Axiom