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

無矛盾性 むむじゅんせいconsistency

翻訳|consistency

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

無矛盾性
むむじゅんせい
consistency

理論 Ψ のモデルがあるときに,それに命題Aをつけ加えてもそのモデルがつくれる場合,Aは Ψ と無矛盾であるという。Aも非Aも Ψ と無矛盾ならば,Aは Ψ と独立なことになる。数学基礎論で基本的な課題の一つである。 (→連続体仮説 )  

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

デジタル大辞泉の解説

むむじゅん‐せい【無矛盾性】

理論体系一般において、ある公理系内に相互矛盾する公理が存在しないこと。また、そこからの命題導出に論理的矛盾がないこと。整合性

出典 小学館デジタル大辞泉について 情報 | 凡例

大辞林 第三版の解説

むむじゅんせい【無矛盾性】

ある公理系において、どの論理式についても、それとその否定とが同時には証明できないこと。整合性。健全性。

出典 三省堂大辞林 第三版について 情報

世界大百科事典内の無矛盾性の言及

【公理系】より

…一方,公理系は,その公理から矛盾が生ずるようなものであれば,その存在理由を失ってしまうといってよい。それゆえ,当然のことながら,公理系においては矛盾の生じないこと,すなわち,無矛盾性consistencyが要求される。さらに,公理のうちには余分なもの,つまり他の公理から得られるものが含まれていないことが望ましい。…

※「無矛盾性」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

無矛盾性の関連キーワードゲーデルの不完全性定理形式主義(数学)インテグリティーK. ゲーデル不完全性定理数学基礎論メタ論理学ゲンツェン自己言及性数理経済学コーエンゲーデル形式主義モデル超数学フラー印象

今日のキーワード

だまし面接

企業が面談や懇談会と称して就職活動中の学生を呼び出し、実質的には学生を選考する偽装面接のこと。2016年卒業の大学生に対する選考活動の開始時期を、従来の4月1日から8月1日以降へと後ろ倒しする主旨の「...

続きを読む

コトバンク for iPhone

コトバンク for Android