MDLUL/reelle Zahl

Start=reelle Zahl

MDLUL/reelle Zahl

Ziel=Körper der reellen Zahlen/Vollständig archimedisch angeordnet/Definition