コトバンクはYahoo!辞書と技術提携しています。

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

ブリタニカ国際大百科事典 小項目事典の解説

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

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

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

完全性定理の関連キーワードゲーデルの不完全性定理自己言及のパラドックス形式主義(数学)K. ゲーデル不完全性定理タルスキー数学基礎論帰納的関数自己言及性数理哲学ゲーデル論理計算記号論論理式

今日のキーワード

跋扈

[名](スル)《「後漢書」崔駰伝から。「跋」は越える意、「扈」は竹やな》魚がかごを越えて跳ねること。転じて、ほしいままに振る舞うこと。また、のさばり、はびこること。「軍閥の跋扈」「悪辣な商売が跋扈する...

続きを読む

コトバンク for iPhone

コトバンク for Android