Assertion: order logic | /r/HasProperty | studied
Facets:
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–