[mrkgnao]

The goal of Principia Mathematica was not "to prove that 1+1=2". It was meant to be a new set (ha!) of foundations for mathematics.

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