Assertion: predicate's property | /r/CapableOf | characterize first-order logic
Facets:
value: in the sense
type: MANNER
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).