Reductio ad Absurdum

Reductio ad absurdum is Latin for "reduction to the absurd". It is a form of argument in mathematics, where it is frequently used to prove a proposition. The proof starts by assuming that the proposition is false, and then showing that this assumption leads to a contradiction or other absurdity.