reductio ad absurdum
bâzhâzeš bé yâvé
Fr.: raisonnement par l'absurde
Logic, Math.: A method of → reasoning in which one assumes some statement to be → true and from that → assumption proceeds to deduce a logical → absurdity and hence to a conclusion that the original assumption must have been → false.