reductio ad absurdum

(mathematics, logic) The method of disproving a statement by assuming the statement is true and, with that assumption, arriving at a blatant contradiction.