Construcción de Henkin

Un método para construir un modelo de una teoría de primer orden ampliando un conjunto consistentes de fórmulas a una teoría maximalmente consistente (teoría de Henkin) que contiene constantes testigo explícitas para las fórmulas existenciales, y formando después el modelo canónico de términos (o el cociente por la igualdad demostrable). Sustenta pruebas de completitud y existencia de modelos.