|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 完 : [かん] 【名詞】 1. The End (book, film, etc.) 2. Finis ・ 全 : [ぜん] 1. (n,pref) all 2. whole 3. entire 4. complete 5. overall 6. pan
数理論理学における完全性(かんぜんせい、)には二つの意味がある。 #形式論理体系で恒真である命題が必ず証明できる性質 #形式論理体系で表現可能な任意の文の肯定または否定が証明できる性質 ゲーデルは完全性定理によって、一階述語論理におけるどんな理論も前者の意味で完全であることを証明した。有名な不完全性定理は、自然数論を含む無矛盾で再帰的な理論が後者の意味では完全な体系に成り得ない事を示している。 == 関連項目 == * 完備 (曖昧さ回避) - complete はしばしば完備と訳される。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「完全性」の詳細全文を読む スポンサード リンク
|