Counterfactual Reasoning in Mathematics

In mathematics, we often assume something (not P), show that it leads to a logical contradiction, and then conclude that P is in fact true.  Mathematician Terence Tao has an interesting discussion of proof by contradiction and related techniques in The “no self-defeating object” argument, revisited.