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.
H8crilA|6 years ago
It is not "useful" in the sense that reals are most "famous" for: it is not complete. Cauchy sequences can diverge in the useful reals field.
lonelappde|6 years ago
scarejunba|6 years ago