@Felthry cc @CoronaCoreanici ?
@CoronaCoreanici @starkatt So now that I have the time to come back to this--what makes the archimedean property fundamental? It doesn't sound like some underpinning of mathematics, it sounds more like an interesting property.
-F
@CoronaCoreanici @starkatt we have a vague idea of what a dedekind cut is; it's considering a number as an ordered pair of ({the set of all numbers less than it}, {the set of all numbers greater than it}), right?
-F
@CoronaCoreanici @starkatt it feels kind of Weird that you can do that and get ℵ₁ reals, when you only have ℵ₀ rationals. It feels like there could only be ℵ₀ ways to divide them up in a consistent manner
-F
@CoronaCoreanici @starkatt I thought the cardinality of the reals was ℵ₁? huh
-F