数学中在证明的时候推出矛盾 ,用英语怎么表达