矛盾必然()