無矛盾性

デジタル大辞泉

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

読み方：むむじゅんせい

理論体系一般において、ある公理系内に相互に矛盾する公理が存在しないこと。また、そこからの命題の導出に論理的矛盾がないこと。整合性。