Russell's PM tried to formalize all the mathematical proofs in logic. I have not been able to decipher each and every details of PM.

I would like to ask:

  1. What has PM proved to be precise?
  2. 1+1=2. Has it been proved by PM?

Waiting for your valuable response.