- ... Bancerek1
- This paper was written when the first author visited Shinshu University
as a two-year JSPS Fellow from Sept. 2000.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... (MML)2
- URL address: http://www.mizar.org/JFM/mmlident.html#W
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ... set3
- In Tarski-Grothendieck set theory we work with sets only, so classes cannot be used.
Instead we may work with universal sets.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.