用語集一般用語集>むむじゅんせい【無矛盾性】

一般用語集


むむじゅんせい【無矛盾性】 一般用語集 む


項目 むむじゅんせい【無矛盾性】
意味 〔consistency〕ある公理系において,どの論理式についても,それとその否定とが同時には証明できないこと。整合性。健全性。


一般用語集 五十音順