Teorema di Henkin

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