› added 2 years ago
102
TIL it took 762 pages to completely prove 1+1=2 in Principia Mathematica, written by Albert Whitehead and Betrand Russell. The very next line after they finish is “The above proposition is occasionally useful.”
via reddit.com