Russell took 9 years to prove 1+1=2 over 360 pages. It is in Principia Mathematica book.

https://en.wikipedia.org/wiki/Principia_Mathematica