Abstract
Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and mathematics be based on a single axiom schema of comprehension?
Similar content being viewed by others
References
Fraenkel, A. A., Y. Bar-Hillel, and A. Levy, Foundations of Set Theory, North-Holland, Amsterdam, 1973.
Kisielewicz, A., ‘Double extension set theory’, Reports on Math. Logic 23 (1989), 81–89.
Kuratowski, K., and A. Mostowski, Set Theory, PWN, Warszawa, 1966.
Quine, W. V., ‘New foundations for mathomatical logic’, Amer. Math. Monthly 44 (1937), 70–80.
Quine, W. V., Mathematical Logic, Cambridge Mass., 1951.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kisielewicz, A. A Very Strong Set Theory?. Studia Logica 61, 171–178 (1998). https://doi.org/10.1023/A:1005048329677
Issue Date:
DOI: https://doi.org/10.1023/A:1005048329677