Das Axiom von Eudoxus: ℝ ist archimedisch geordnet.

((y \geq 0) \land (x > 0)) \Rightarrow \exists_{n \in ℕ} y \leq n \cdot x .

Daraus folgt, dass die Zahlengerade unendlich lang ist.