無矛盾
↑ A かつ ¬A から任意の論理式を導けるような T の論理式 A,¬A が存在するとき、両者は一致する。