Assertion: order logic | /r/HasProperty | necessary
Facets:
value: to amend the statements of results
type: PURPOSE
Source sentences:
text: When first-order logic without equality is studied, it is necessary to amend the statements of results such as the Löwenheim–