Assertion: real number | /r/HasProperty | constructed using model
Facets:
Source sentences:
text: When the real numbers are instead constructed using a model, completeness becomes a theorem or collection of theorems.