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