An argument form in logic or mathematics, where what is believed to be false is asserted as if it were true, in order to reason from that to something that is clearly contradictory, and then use the contradiction to argue that what was first asserted must indeed be false. Compare with the null hypothesis in statistics.

Used on page 61