If you think about it long enough, you'll see that it's obvious.

— Saul Gorn, Self-Annihilating Sentences (1992)

Quoted in Benjamin Pierce's Types and Programming Languages (2002).

Topics: mathematics