Assertion: definition | /r/CapableOf | form the basis
Facets:
Source sentences:
text: Definitions and axioms form the basis on which all of modern mathematics is to be constructed.