reductio ad absurdum; proof by contradiction
A logical method in mathematics and philosophy where a proposition is proven by showing that its negation leads to a contradiction.
Using proof by contradiction, one can prove that √2 is irrational.
From 背理 (contradiction) + 法 (method). The term is a direct translation of the Latin 'reductio ad absurdum'.