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:
- What has PM proved to be precise?
- 1+1=2. Has it been proved by PM?
Waiting for your valuable response.