I think the point is that you’re writing down “0.999...” and assuming that that must define a number at all. If you’re assuming that every decimal expression gives a number then you must be working with the reals.
I think the point is that you’re writing down “0.999...” and assuming that that must define a number at all. If you’re assuming that every decimal expression gives a number then you must be working with the reals.