Metamath Proof Explorer

Table of Contents - 1.3.10. Derive the Tarski-Bernays-Wajsberg axioms from Meredith's Second CO Axiom

1. merco2
2. mercolem1
3. mercolem2
4. mercolem3
5. mercolem4
6. mercolem5
7. mercolem6
8. mercolem7
9. mercolem8
10. re1tbw1
11. re1tbw2
12. re1tbw3
13. re1tbw4