“反证”在英语中常见的表达是 “proof by contradiction” 或 “reductio ad absurdum”（这是一个拉丁语术语，在英语学术语境中也常被使用，意为“归谬法”，即通过推导出荒谬结论来证明原命题为真，本质上也是一种反证方式） 。
proof by contradiction：更直接、常用地表达“反证”这一逻辑推理方法，强调通过假设命题不成立来推导矛盾，从而证明原命题成立。例如：We'll use proof by contradiction to show that this statement is true.（我们将使用反证法来证明这个陈述是正确的。）
reductio ad absurdum：多用于学术、哲学讨论等较为正式的场合，带有一种通过归谬来揭示真理的意味。例如：The proof employs the classic technique of reductio ad absurdum.（该证明采用了经典的归谬法技巧。 ）