Reductio ad absurdum
WordNet

noun


(1)   (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction
 
x
OK