Assertion: logic | /r/HasProperty | compact
Facets:
Source sentences:
text: A logic is compact if for any countable set of sentences Δ, there is a finite subset δ of Δ such that δ is unsatisfiable iff Δ is unsatisfiable.