一般用語集

  2. 用語集
  3. 一般用語集
  4. む

一般用語集

む

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

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