Reductio ad absurdum

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