レオン・ヘンキン
ゲーデルが1929年に初めて述語論理の完全性を証明したが(→ゲーデルの完全性定理)、ヘンキンは1949年にもっと簡潔な方法を発表した。この方法は初等クラスや入門書ではスタンダードな方法になっている。ヘンキンはもともとチャーチの高階述語論理の完全性を証明したが、同じ方法が述語論理にも応用できることに気づいた。
ヘンキンはブルックリンでユダヤ系ロシア移民の家庭に生まれた。哲学と数学の学士号と修士号をコロンビア大学で取得。プリンストン大学のアロンゾ・チャーチのもとで博士号を取り、カリフォルニア大学バークレー校にポストを得た。タルスキと共同で仕事をしたこともある。