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

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

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

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

[生]1947.1.18. 京都プロ野球選手。京都の平安高校時代，捕手として甲子園に出場。高校卒業後，1965年広島東洋カープに入団。内野手に転向し，1970年 10月 19日の対読売ジャイアンツ (...