Assertion: real number | /r/HasProperty | reduced by set theory
Facets:
Source sentences:
text: The real numbers can either be defined axiomatically as a complete ordered field, or can be reduced by set theory as a set of all limits of Cauchy sequences of rational numbers (a completion of a metric space).