Assertion: real number's property | /r/HasProperty | derived
Facets:
value: from the five peano axioms
type: OTHER
Source sentences:
text: Many properties of the natural numbers can be derived from the five Peano axioms: