Assertion: division's number | /r/HasProperty | established on peano's axiom system
Facets:
Source sentences:
text: First, the natural numbers (including zero) are established on an axiomatic basis such as Peano's axiom system and then this is expanded to the ring of integers.