aka Reduction ad absurdum

Assume the opposite of $X$, show that it implies a logical contradiction, and so $X$ should be true.

See Irrationality of square root of 2 for an example

The Flaw in Reductio Ad Absurdum