Real numbers/Completeness/Axiom

Completeness

The real numbers form a complete Archimedian ordered field.