「完全性」の版間の差分

[[クルト・ゲーデル|ゲーデル]]は[[ゲーデルの完全性定理|完全性定理]]によって、一階述語論理におけるどんな理論も前者の意味で完全であることを証明した。有名な[[ゲーデルの不完全性定理|不完全性定理]]は、自然数論を含む無矛盾で再帰的な理論が後者の意味では完全な体系に成り得ない事を示している。