矛と盾の対決は
A∧B=∅の永遠中間(中間解)は無い