Definition 1.1 ($T$ models a sentence). Let $T$ be an $L$-theory, $\phi$ an $L$-sentence. Then $T\models \phi$ if every model of $T$ is a model of $\phi$.