反证法

reductio ad absurdum 〈拉〉反证法 亦称归谬法，指借说明某一命题的反面为不可能或荒谬，以证明该命题为正确，或借说明某一命题的逻辑上的结论为荒谬或不可能，以证明该命题为错误的方法。