Fair. Maybe the definition is that two real numbers are equal iff there is no real number between them. Which is nonintuitive if you're used to things like natu

Fair. Maybe the definition is that two real numbers are equal iff there is no real number between them. Which is nonintuitive if you're used to things like natural numbers which have successors. But if you teach people this way of thinking about the real numbers, then arguments like "it's the last number riiight before 1" stop working.