show/hide this revision's text 1 [made Community Wiki]

It takes Russell and Whitehead several hundred pages to prove that $1+1=2$ in Principia Mathematica. They then say that "the above proposition is occasionally useful."