Nearly a hundred years after its publication, Kurt Gödel's famous proof that every mathematical system …
The laboriousness of the methodology and notation was all too evident in the (often remarked) fact that it took more than seven hundred pages to reach the conclusion, “1 + 1 = 2”, a result which Russell and Whitehead described as “occasionally useful“.
— Journey to the Edge of Reason by Stephen Budiansky (29%)