I feel like that's downstream of seeing the reals as the rationals with the holes plugged, no? Obviously you can start from either end but everything special ab

I feel like that's downstream of seeing the reals as the rationals with the holes plugged, no? Obviously you can start from either end but everything special about the reals comes from being the complete version of the rationals.