反证法

反证法是一种数学推理方法，通过假设命题的反命题为真，然后推导出与已知事实相矛盾的结论，从而证明原命题为真。它常用于证明某些命题的唯一性或存在性。在逻辑学和数学领域被广泛应用。