A calculus of the absurd

5.6 Existence proofs