We seem to agree on this: you don't think there's any need for a way to determine whether two real numbers are equal.
For ordinary math, though, using some criterion for equality (for example x>=y and y>=x) is basic and not controversial. So it seems unconvincing (to me) when you seem to imply the opposite.
For ordinary math, though, using some criterion for equality (for example x>=y and y>=x) is basic and not controversial. So it seems unconvincing (to me) when you seem to imply the opposite.