A single axiom for set theory. (English) Zbl 1015.03050

Summary: Axioms in set theory typically have the form \(\forall z\exists y\forall x(x\in y\leftrightarrow Fxz)\), where \(F\) is a relation which links \(x\) with \(z\) in some way. In this paper we introduce a particular linkage relation \(L\) and a single axiom based on \(L\) from which all the axioms of Z (Zermelo set theory) can be derived as theorems. The single axiom is presented both in informal and formal versions. This calls for some discussion of pertinent features of formal and informal axiomatic method and some discussion of pertinent features of the system S of set theory to be erected on the single axiom. S is shown to be somewhat stronger than Z, but much weaker than ZF (Zermelo-Fraenkel set theory).


03E30 Axiomatics of classical set theory and its fragments
00A30 Philosophy of mathematics
Full Text: DOI


[1] Bernays, P., Axiomatic Set Theory , North-Holland Publishing Co., Amsterdam, 1958. · Zbl 0082.26301
[2] Boolos, G., ”The iterative conception of set”, Journal of Philosophy , vol. 68 (1971), pp. 215–31. · Zbl 0972.03539
[3] Cohen, P., Set Theory and the Continuum Hypothesis , W. A. Benjamin, Inc., New York, 1966. · Zbl 0182.01301
[4] Gödel, K., ”What is Cantor’s continuum problem?”, American Mathematical Monthly , vol. 54 (1947), pp. 515–25. · Zbl 0038.03003
[5] Hallett, M., Cantorian Set Theory and Limitation of Size , Oxford University Press, New York, 1984. · Zbl 0656.03030
[6] Hilbert, D., and P. Bernays, Grundlagen der Mathematik. Volume 2 , Springer, Berlin, 1939. · Zbl 0020.19301
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.