 A sentence \(\theta\) is logically true, or valid, if \(M\vDash \theta\), for every interpretation \(M\). A sentence is logically true if and only if it is a consequence of the empty set. If \(\theta\) is logically true, then for any set \(\Gamma\) of sentences, \(\Gamma \vDash \theta\). Logical truth is the model-theoretic counterpart of theoremhood.