对角线法

“对角线论法”就是“反证法”的别称，间接论证的一种。先论证与原论题相矛盾的论题即反论题为假，然后根据排中律确定原论题为真。反证法首先假设某命题不成立（即在原命题的题设下，结论不成立），然后推理出明显矛盾的结果，从而下结论说假设不成立，原命题得证。反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。