- 矛盾方程组