- 矛盾方程組