歸謬法，又叫背理法，是一種論證方式，它首先假設某命題不成立（即在原命題的條件下，結論不成立），然后推理出明顯矛盾的結果，從而下結論說原假設不成立，原命題得證。

舉一個簡單例子，證明：三角形的內角中至多有一個鈍角。證明如下：假設三角形中內角至少兩個鈍角，則三角形的三個內角之和大于180°，與三角形的內角和定理矛盾，故三角形的內角中至多有一個鈍角。