In this proof-technique, the proposition is proven true by proving that it is impossible for it to be false.
Reductio Ad Absurdum
Quod Erat Demonstrandum
Credo quia absurdum
Argumentum Ad Absurdum