Metamath Proof Explorer

Table of Contents - 1.4.6. Axiom scheme ax-6 (Existence)

1. ax-6
2. ax6v
3. ax6ev
4. spimw
5. spimew
6. speiv
7. speivw
8. exgen
9. extru
10. 19.2
11. 19.2d
12. 19.8w
13. spnfw
14. spfalw
15. spvw
16. 19.3v
17. 19.8v
18. 19.9v
19. spimevw
20. spimvw
21. spsv
22. spvv
23. chvarvv
24. 19.39
25. 19.24
26. 19.34
27. 19.36v
28. 19.12vvv
29. 19.27v
30. 19.28v
31. 19.37v
32. 19.44v
33. 19.45v
34. equs4v
35. alequexv
36. exsbim
37. equsv
38. equsalvw
39. equsexvw
40. cbvaliw
41. cbvalivw