Assertion: predicate's property | /r/HasProperty | ebbinghaus
Facets:
Source sentences:
text: Per Lindström showed that the metalogical properties just discussed actually characterize first-order logic in the sense that no stronger logic can also have those properties (Ebbinghaus and Flum 1994, Chapter XIII).