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

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

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

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

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

今日のキーワード

凍返る

春になって暖かくなりかけた頃、急に寒さが戻って、地面などがまた凍りつく。《 季語・春 》[初出の実例]「七瀬御秡 同晦日也。〈略〉雪汁いてかへる」(出典：俳諧・誹諧初学抄（1641）初春)...

凍返るの用語解説を読む

コトバンク for iPhone

AppStore

コトバンク for Android

GooglePlay