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".

  1. stdpc5t
  2. bj-stdpc5
  3. 2stdpc5
  4. bj-19.21t0
  5. exlimii
  6. ax11-pm
  7. ax6er
  8. exlimiieq1
  9. exlimiieq2
  10. ax11-pm2