Assertion: real number's property | /r/HasProperty | proven
Facets:
value: from them
type: OTHER
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.