Reductio ad absurdum
(лог.)
опровержение положения путем выведения из него явно ложных и невозможных заключений. Этот способ опровержения считается недостаточным, ибо он не выясняет основания ложности известного положения; но косвенное доказательство может быть превращено в прямое.
Энциклопедический словарь Брокгауза и Ефрона