ゲーデルの完全性定理

3行要約

1. 一階述語論理において、妥当な（常に真となる）論理式は必ず証明可能であるという定理。
2. 論理的な「真理」と形式的な「証明可能性」が一致することを保証する。
3. 不完全性定理とは対照的に、一階述語論理の枠組みが十分強力であることを示している。