無矛盾性
理論体系一般において、ある公理系内に相互に 矛盾する 公理が存在しないこと。
また、そこからの命題の導出に論理的矛盾がないこと。
整合性。
consistency (of an axiomatic system)
インテグリティ（integrity）
ゲーデルの不完全性定理