- #1
Werg22
- 1,431
- 1
I know that the Dedekind-Cantor axiom establishes an isomorphism between the points of any given (extended) Euclidean line. But why is the axiom needed anyway? Can't we define two binary operations on collinear points in Euclidean geometry such that the points of the line taken together with these two operations form a model of the real numbers?