Assertion: order logic | /r/CapableOf | satisfy several metalogical theorems
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.