Assertion: order logic | /r/CapableOf | satisfy the downward löwenheim
Facets:
Source sentences:
text: Lindström's theorem implies that the only extension of first-order logic satisfying both the compactness theorem and the Downward Löwenheim–