Доказательство от противного —
(лат. reductio ad absurdum) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса.
Большая советская энциклопедия
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО —
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — один из видов косвенного доказательства.
Большой энциклопедический словарь