Henkin theory
= Henkin theory
{c}
= Witnessed first-order theory
{synonym}
A <Henkin theory> has named witnesses for its provable <existential sentences>. In a <Henkin construction>, fresh constants and the corresponding <Henkin witness axioms> give this witness property. Completeness or maximal consistency can be imposed in an additional extension step.