Assertion: order logic | /r/HasProperty | sufficient
Facets:
value: for formalizing much
type: PURPOSE
Source sentences:
text: Although first-order logic is sufficient for formalizing much of mathematics, and is commonly used in computer science and other fields, it has certain limitations.