間接證明

間接證明是相對於直接證明説的，反證法是間接證明常用的方法。

假設原命題不成立，經過正確的推理，最後得出矛盾，因此説明假設錯誤，從而證明原命題成立，這種證明方法叫做反證法。