完全性定理(読み)かんぜんせいていり(その他表記)completeness theorem

ブリタニカ国際大百科事典 小項目事典 「完全性定理」の意味・わかりやすい解説

完全性定理
かんぜんせいていり
completeness theorem

論理計算について,すべてのモデルで真な命題論理計算で証明可能であるという,論理の完全性を保証する定理。ここでモデルは,可算集合として構成可能になる (→可算 ) 。通常の論理についてゲーデルの定理が有名であるが,直観主義論理についてはクリプケの定理がある。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

〘 名詞 〙 春の季節がもうすぐそこまで来ていること。《 季語・冬 》 〔俳諧・俳諧四季部類(1780)〕[初出の実例]「盆栽の橙黄なり春隣〈守水老〉」(出典:春夏秋冬‐冬(1903)〈河東碧梧桐・高...

春隣の用語解説を読む