せいごう‐せい【整合性】（セイガフ‥） (英consistencyの訳語)論理学で、ある論理体系の中で定理と認められたものと矛盾するものを、同時に定理とすることがない場合の、その論理体系の状態、性質、無矛盾性。