Assertion: real number's property | /r/HasProperty | given by definition
Facets:
Source sentences:
text: The minimum set of properties that must be given "by definition" so that all other properties may be proven from them is the set of axioms for the real numbers.