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

一般用語集

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

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