证明不是直接从原命题的条件逐步推得命题成立，这种不直接证明的方法通常称为________．如反证法，反证法的证明过程概括为：“________”“________”“________”“________”，

即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．