理論体系一般において、ある公理系内に相互に 矛盾する 公理が存在しないこと。

また、そこからの命題の導出に論理的矛盾がないこと。

整合性。

consistency (of an axiomatic system)

インテグリティ（integrity）