Il Teorema di Henkin è una dimostrazione della completezza di un sistema formale, ottenuta nel 1949 dal logico Leon Henkin. Il risultato che è oggetto della dimostrazione era stato ottenuto per primo da Kurt Gödel nel 1929, ma la versione di Henkin è una semplificazione della dimostrazione, con un allentamento delle precondizioni.
Bibliografia
- Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", Journal of Symbolic Logic. 14: 159–166.
- Henkin, Leon. 1950. "Completeness in the theory of types", Journal of Symbolic Logic 15: 81–91.
Voci correlate
- Teorema di completezza di Gödel
- Teorema di indefinibilità di Tarski
- Teoremi di incompletezza di Gödel
