Metamath Proof Explorer

Table of Contents - 21.12.1. ZFC Axioms in primitive form

  1. axextprim
  2. axrepprim
  3. axunprim
  4. axpowprim
  5. axregprim
  6. axinfprim
  7. axacprim