Théorème D'Omission des Types

Un théorème qui précise les conditions sous lesquelles une théorie de premier ordre cohérente et dénombrable admet un modèle qui omet une collection donnée de types non principaux (c'est‑à‑dire non isolés) ; formulé classiquement pour un langage dénombrable et une famille dénombrable de tels types.