Notre Dame Journal of Formal Logic

A Single Axiom for Set Theory

David Bennett


Axioms in set theory typically have the form $\forall z \exists y\forall x(x \in y \leftrightarrow F x z )$, 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 $\mathrm{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 $\mathrm{S}$ of set theory to be erected on the single axiom. $\mathrm{S}$ is shown to be somewhat stronger than $\mathrm{Z}$, but much weaker than $\mathrm{ZF}$ (Zermelo-Fraenkel set theory).

Article information

Notre Dame J. Formal Logic, Volume 41, Number 2 (2000), 152-170.

First available in Project Euclid: 25 November 2002

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03E30: Axiomatics of classical set theory and its fragments
Secondary: 00A30: Philosophy of mathematics [See also 03A05]

set Cantorian axiom links descendant single foundation basic


Bennett, David. A Single Axiom for Set Theory. Notre Dame J. Formal Logic 41 (2000), no. 2, 152--170. doi:10.1305/ndjfl/1038234609.

Export citation


  • Bernays, P., Axiomatic Set Theory, North-Holland Publishing Co., Amsterdam, 1958.
  • Boolos, G., "The iterative conception of set", Journal of Philosophy, vol. 68 (1971), pp. 215–31.
  • Cohen, P., Set Theory and the Continuum Hypothesis, W. A. Benjamin, Inc., New York, 1966.
  • G ödel, K., "What is C"antor's continuum problem?, American Mathematical Monthly, vol. 54 (1947), pp. 515–25.
  • Hallett, M., Cantorian Set Theory and Limitation of Size, Oxford University Press, New York, 1984.
  • Hilbert, D., and P. Bernays, Grundlagen der Mathematik. Volume 2, Springer, Berlin, 1939.