Assertion: logic | /r/HasProperty | finite subset
Facets:
value: for any countable set of sentences
type: OTHER
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.