Modèles, conséquence

Soit $T$ une théorie. Un modèle de $T$ est une structure qui satisfait tous les énoncés de $T$. Un énoncé $\varphi$ est conséquence sémantique de $T$, noté $T \models \varphi$, si tout modèle de $T$ satisfait $\varphi$. Il est universellement valide si $\varnothing \models \varphi$.