数学中证明一个命题是假命题时举反例是不是有固定格式?