Assertion: order logic | /r/HasProperty | the standard
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.
text: Unlike first-order logic, which has only one standard semantics, there are two different semantics that are commonly used for second-order logic: standard semantics and Henkin semantics.