Start=positiven (R)

MDLUL/positiven (R)

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