Start=reellen Zahl

MDLUL/reellen Zahl

Siehe=reelle Zahl
MDLUL/reelle Zahl
Ziel=Körper der reellen Zahlen/Vollständig archimedisch angeordnet/Definition