A single axiom for set theory

Abstract

Axioms in set theory typically have the form ∀z∃y∀x (x ∈ y ↔ 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). © 2001 by the University of Notre Dame. All rights reserved.