Assertion: logic's theorem | /r/HasProperty | several metalogical
Facets:
Source sentences:
text: First-order logic also satisfies several metalogical theorems that make it amenable to analysis in proof theory, such as the Löwenheim–Skolem theorem and the compactness theorem.