It is known that any two Order-Complete Fields are isomorphic. So there can exist at most 1 Order-Complete Field up to isomorphism.
Is there a way to tell that there exists one Order Complete Field?
It is known that any two Order-Complete Fields are isomorphic. So there can exist at most 1 Order-Complete Field up to isomorphism.
Is there a way to tell that there exists one Order Complete Field?
The reals field $\mathbb R$ is one.