Assertion: order logic | /r/HasProperty | implied by the compactness theorem
Facets:
Source sentences:
text: There are also more subtle limitations of first-order logic that are implied by the compactness theorem.