完全性定理(かんぜんせいていり)とは？意味や使い方

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

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

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

今日のキーワード

血液中の脂質（トリグリセリド、コレステロールなど）濃度が基準値の範囲内にない状態（脂質異常症）に対し用いられる薬剤。スタチン（HMG-CoA還元酵素阻害薬）、PCSK9阻害薬、MTP阻害薬、レジン（陰...