Metamath Proof Explorer

Table of Contents - 1.4.2. Rule scheme ax-gen (Generalization)

  1. ax-gen
  2. gen2
  3. mpg
  4. mpgbi
  5. mpgbir
  6. nex
  7. nfth
  8. nfnth
  9. hbth
  10. nftru
  11. nffal
  12. sptruw
  13. altru
  14. alfal