Conclusion
It might be argued that STC is superfluous. In defense we reply that STC seems the most natural theory for handling theM β andK β. In NBGAI the development is quite artificial. An even more fundamental reply is that those who wish to make puritannical restrictions on set theory forbidding inaccessible sets may have their holiday with inaccessible extended sets.
Inconsistent multiplicities (which Cantor called absolutely infinites) are themselves relative to a system, or briefly, the absolute is relative.
Similar content being viewed by others
References
Cohen, P. J.: The independence of the continuum hypothesis. Proc. nat. Acad. Sci. USA. I,50, 1143–1148 (1963); II,51, 105–111 (1964).
—— Set theory and the continuum hypothesis. New York: W. A. Benjamin, Inc. 1966.
Fraenkel, A., and Y. Bar-Hillel: Foundations of set theory. Amsterdam: North Holland Publishing Co. 1958.
Gödel, K.: The consistency of the continuum hypothesis. Princeton University Press 1940.
Lévy, A.: Axiom schemata of strong infinity in axiomatic set theory. Pacific J. Math.10, 223–238 (1960).
Montague, R., and R. L. Vaught: Natural models of set theories. Fundamenta Math. XLVII, 219–242 (1959).
Oberschelp, A.: Eigentliche Klassen als Urelemente in der Mengenlehre. Math. Ann.157, 234–260 (1964).
Quine, W. V. O.: Set theory and its logic. Cambridge, Mass.: Harvard University Press 1963.
Scott, D.: Measurable cardinals and constructible sets. Bull. Acad. Polon. Sci. IX, 7, 521–524 (1961).
Shepherdson, J. C.: Inner models for set theory. J. Symbolic Logic II,17, 225–237 (1952).
Tarski, A.: Über unerreichbare Kardinalzahlen. Fundamenta Math.30, 68–89 (1938).
van Heijenoort, J.: From Frege to Gödel. Cambridge, Mass.: Harvard University Press 1967.
von Neumann, J.: An axiomatization of set theory (translated in van Heijenoort (1967), p. 394). (1925).
—— Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre. J. reine angew. Math.160, 227–241 (1929).
Author information
Authors and Affiliations
Additional information
The author is deeply indebted to Professor A. Robinson for fruitful suggestions, general insights, and biting criticism.
Rights and permissions
About this article
Cite this article
Friedman, J.I. Proper classes as members of extended sets. Math. Ann. 183, 232–240 (1969). https://doi.org/10.1007/BF01351382
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01351382