reductio ad absurdum
The method of
reductio ad absurdum
is assuming that a proposition does
not
hold and using this assumption to deduce a contradiction.