Metamath Proof Explorer

Table of Contents - 2.5.2. Axiom of Infinity equivalents

1. inf0
2. inf1
3. inf2
4. inf3lema
5. inf3lemb
6. inf3lemc
7. inf3lemd
8. inf3lem1
9. inf3lem2
10. inf3lem3
11. inf3lem4
12. inf3lem5
13. inf3lem6
14. inf3lem7
15. inf3
16. infeq5i
17. infeq5