Reductio ad absurdum, also called proof by contradiction, is a method of mathematical proof. It involves assuming the opposite of what one is trying to prove, and showing that this would lead to a contradiction. An example of this is Euclid's proof of the infinitude of the primes.