Construction de Henkin

Une méthode de construction d'un modèle pour une théorie du premier ordre consistante en étendant un ensemble de formules consistant en une théorie maximale consistante (théorie de Henkin) qui contient des constantes témoins explicites pour les formules existentielles, puis en formant le modèle canonique des termes (ou le quotient par l'égalité démontrable).