Metamath Proof Explorer

Table of Contents - 2.3.13. Well-ordered induction

1. tz6.26
2. tz6.26i
3. wfi
4. wfii
5. wfisg
6. wfis
7. wfis2fg
8. wfis2f
9. wfis2g
10. wfis2
11. wfis3