Большой энциклопедический словарь
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — один из видов косвенного доказательства.
Доказательство от противного
доказательство от противного