Metamath Proof Explorer
Table of Contents - 20.16.4.20. Some Principia Mathematica proofs
References are made to the second edition (1927, reprinted 1963) of
Principia Mathematica, Vol. 1. Theorems are referred to in the form
"PM*xx.xx".
- stdpc5t
- bj-stdpc5
- 2stdpc5
- bj-19.21t0
- exlimii
- ax11-pm
- ax6er
- exlimiieq1
- exlimiieq2
- ax11-pm2