Pretty much what the title says: how does one prove the existence and uniqueness of the real number system from the ordered field axioms together with the least-upper-bound property (or maybe some equivalent), instead of using some construction process?
Thanks in advance.