Metamath Proof Explorer

Table of Contents - 20.5.1. ZF set theory

1. exdifsn
2. srcmpltd
3. prsrcmpltd
4. dff15
5. f1resveqaeq
6. f1resrcmplf1dlem
7. f1resrcmplf1d
8. funen1cnv
9. fnrelpredd
10. cardpred
11. nummin
12. Finitism
    1. fineqvrep
    2. fineqvpow
    3. fineqvac
    4. fineqvacALT