důkaz sporem

Noun

 * 1) reductio ad absurdum