The Principia is sort of a proof that 1 + 1 = 2, but it's not that simple, we could be perfectly rigorous without it. Principia Mathematica is more of an investigation into the logical basis of mathematics that "useful" proof.