First-order theory T ⊨ φ iff T ⊢ φ. Every consistent theory has a model. Gödel 1929 dissertation. Compactness as corollary.