Metamath Proof Explorer

Table of Contents - 21.40.6.7. _Begriffsschrift_ Chapter II with equivalence of classes

Begriffsschrift Chapter II with equivalence of classes (where they are sets).

1. frege53c
2. frege54cor1c
3. frege55lem1c
4. frege55lem2c
5. frege55c
6. frege56c
7. frege57c
8. frege58c
9. frege59c
10. frege60c
11. frege61c
12. frege62c
13. frege63c
14. frege64c
15. frege65c
16. frege66c
17. frege67c
18. frege68c