Assertion: real number | /r/CapableOf | order field
Facets:
Source sentences:
text: The real numbers can also be defined as the unique (up to isomorphism ) ordered field satisfying the least upper bound property, after one has proved that such a field exists and is unique up to isomorphism.