ブリタニカ国際大百科事典 小項目事典 「完全性定理」の意味・わかりやすい解説 完全性定理かんぜんせいていりcompleteness theorem 論理計算について,すべてのモデルで真な命題は論理計算で証明可能であるという,論理の完全性を保証する定理。ここでモデルは,可算集合として構成可能になる (→可算 ) 。通常の論理についてゲーデルの定理が有名であるが,直観主義論理についてはクリプケの定理がある。 出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報 Sponserd by