You don’t need Euclidean space to exist to define reals but you need reals numbers for distance to exist.
these questions are not obvious and were only cleared by 19th century number theory. See Bolzano weirstrass, or define reals as equivalence classes on converging series of rationals.
You don’t need Euclidean space to exist to define reals but you need reals numbers for distance to exist.
these questions are not obvious and were only cleared by 19th century number theory. See Bolzano weirstrass, or define reals as equivalence classes on converging series of rationals.