[lonelappde]

Completeness in the "full" reals is a useless feature, though. All is gives you is an emotional crutch to pretend your cauchy sequences can be mapped to regular numbers. But it doesn't give you anything you didn't already have in the cauchy sequences and useful reals.

[steerablesafe]

You are of course right, reals are isomorphic to equivalence classes of Cauchy sequences on Q. But once you are dealing with equivalence classes of Cauchy sequences on Q you might as well give it a name. Maybe call it R.

[H8crilA]

His point is different. You cannot (by definition) ever write a "name", a formula, a rule, a lim expression, anything really, for a real that is not in the useful reals.