  (See the entry on  model theory  for the notion  ⊨  of model-theoretic consequence. To derive the second statement from the first, note that ‘T  ⊨  φ’ is true if and only if there is no model of the theory T ∪ {¬ φ}.) 