');

一般用語集

一般用語集

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

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