ゲーデルの完全性定理
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、、）とは、一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う。1929年にクルト・ゲーデルが証明した。