归谬法，又叫背理法，是一种论证方式，它首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。

举一个简单例子，证明：三角形的内角中至多有一个钝角。证明如下：假设三角形中内角至少两个钝角，则三角形的三个内角之和大于180°，与三角形的内角和定理矛盾，故三角形的内角中至多有一个钝角。