searching none or error

ゲーデルの完全性定理

数理論理学においてゲーデルの完全性定理(ゲーデルのかんぜんせいていり)とは、第一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う廣瀬、横田 p.147、ヒルベルトアッケルマン p.
【背景、定理とその帰結、コンパクト性定理との関係、他の論理の完全性、証明】