Assertion: order logic | /r/HasProperty | studied in the foundations of mathematics
Facets:
Source sentences:
text: First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics.