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.