Assertion: logic | /r/HasAspect | property
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).