ゲーデルの完全性定理
1928年に、D. ヒルベルトとW. アッケルマンの共著書であり、一階述語論理(狭義の述語論理)を独立した論理体系として形式化した最初の本である『記号論理学の基礎』の初版が出版されたが、この初版本において一階述語論理の完全性は一つの未解決問題であった。この本を読み、この問題の解決に取り掛かったクルト・ゲーデルは、学位論文として1929年の秋にその結果を発表した。これがいわゆるゲーデルの完全性定理である。
一階述語論理の論理式が恒真あるいは普遍妥当であるとは、個体領域の選び方のいかんにかかわらず、その変項に代入を行っても恒にその論理式が真となることを意味する。完全性定理は、論理式が論理的に妥当ならば、その論理式の有限な演繹(形式的証明)が存在することを示した。その演繹は有限であり、人間またはコンピュータによって検証可能である。この真理値と証明可能性の関係により、数理論理学におけるモデル理論と証明論の密接な関係が確立された。