Start=positiv (R)

MDLUL/positiv (R)

Ziel=Reelle Zahlen/Anordnungsaxiome/Archimedes/Axiom