Metamath Proof Explorer


Table of Contents - 20.6.1. Predicate calculus with all distinct variables

  1. ax-7d
  2. ax-8d
  3. ax-9d1
  4. ax-9d2
  5. ax-10d
  6. ax-11d