´╗┐

A formal system for the alternative set theory. A non-extensional approach


Abstract


We presented a formal system which is intended to capture the essence of the set theory in the alternative version given by Vopenka.Our purpose start from Sochor's remark that in the formalization presented as AST,the notions of set and class correspond respectively to element of the universe of sets and to object from the extended universe.

DOI Code: 10.1285/i15900932v10n1p75

Full Text: PDF


Creative Commons License
This work is licensed under a Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia License.