Log in :: RSS/Atom Feeds
Notre Dame Journal of Formal Logic

A Single Axiom for Set Theory

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

Abstract

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).

First Page: Show Hide
Primary Subjects: 03E30
Secondary Subjects: 00A30
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1038234609
Digital Object Identifier: doi:10.1305/ndjfl/1038234609
Mathematical Reviews number (MathSciNet): MR1932227
Zentralblatt MATH identifier: 1015.03050

References

[1] Bernays, P., Axiomatic Set Theory, North-Holland Publishing Co., Amsterdam, 1958.
Mathematical Reviews (MathSciNet): MR21:4912
Zentralblatt MATH: 0082.26301
[2] Boolos, G., "The iterative conception of set", Journal of Philosophy, vol. 68 (1971), pp. 215--31.
Zentralblatt MATH: 0972.03539
[3] Cohen, P., Set Theory and the Continuum Hypothesis, W. A. Benjamin, Inc., New York, 1966.
Mathematical Reviews (MathSciNet): MR38:999
Zentralblatt MATH: 0182.01301
[4] Gödel, K., "What is Cantor's continuum problem?", American Mathematical Monthly, vol. 54 (1947), pp. 515--25.
Mathematical Reviews (MathSciNet): MR9,403h
Zentralblatt MATH: 0038.03003
Digital Object Identifier: doi:10.2307/2304666
[5] Hallett, M., Cantorian Set Theory and Limitation of Size, Oxford University Press, New York, 1984.
Mathematical Reviews (MathSciNet): MR86e:03003
Zentralblatt MATH: 0656.03030
[6] Hilbert, D., and P. Bernays, Grundlagen der Mathematik. Volume 2, Springer, Berlin, 1939.
Mathematical Reviews (MathSciNet): MR42:7477
Zentralblatt MATH: 0020.19301

2012 © University of Notre Dame

Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic
Euclid Prime Journal

Turn MathJax Off
What is MathJax?