Para cada sentença $\varphi$, seja $A_\varphi = \{ i \in I : \mathcal{M}_i \models \varphi \}$.

Mostre que $\{ A_\varphi : \varphi \in T \}$ tem a propriedade da interseção finita. Use os exercícios 2 e 3.

Use o Teorema de Łoś para concluir o resultado.