The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, endless total order.
Joel David Hamkins
- 236.4k
- 44
- 777
- 1.4k