Metamath Proof Explorer

Table of Contents - 21.23.10. Bootstrapping set theory with classes

1. wl-cleq-0
2. wl-cleq-1
3. wl-cleq-2
4. wl-cleq-3
5. wl-cleq-4
6. wl-cleq-5
7. wl-cleq-6
8. ax-wl-cleq
9. ax-wl-clel
10. wl-df-clab
11. wl-isseteq
12. wl-ax12v2cl