む‐むじゅん‐せい【無矛盾性】 (Widerspruchsfreiheit ドイツ)公理系に何も論理的矛盾がないこと、すなわちある命題とその否定とが同時に成立しないこと、またはその公理系から矛盾した命題が導きだされないこと。整合性。健全性。

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