Metamath Proof Explorer


Table of Contents - 2.4.1. Introduce the Axiom of Union

  1. ax-un
  2. zfun
  3. axun2
  4. uniex2
  5. vuniex
  6. uniexg
  7. uniex
  8. uniexd
  9. unex
  10. tpex
  11. unexb
  12. unexg
  13. xpexg
  14. xpexd
  15. 3xpexg
  16. xpex
  17. unexd
  18. sqxpexg
  19. abnexg
  20. abnex
  21. snnex
  22. pwnex
  23. difex2
  24. difsnexi
  25. uniuni
  26. uniexr
  27. uniexb
  28. pwexr
  29. pwexb
  30. elpwpwel
  31. eldifpw
  32. elpwun
  33. pwuncl
  34. iunpw
  35. fr3nr
  36. epne3
  37. dfwe2