Zermelo–Fraenkel set theory

Zermelo–Fraenkel set theory is the standard foundational system for most of modern mathematics. Formulated primarily by Ernst Zermelo and later augmented by Abraham Fraenkel, it provides a rigorous axiomatic framework to define and manipulate sets. Its most common formulation, when combined with the Axiom of choice, is known as ZFC and serves as the conventional basis for mathematical discourse, from number theory to topology.

Axioms

The system is built upon a collection of precise statements designed to avoid the paradoxes found in earlier Naive set theory. The core axioms include the Axiom of extensionality, which states that two sets are identical if they have the same members, and the Axiom of pairing, which allows the creation of a set containing any two given sets. The Axiom of union and the Axiom of power set provide operations to form new sets from existing ones, while the Axiom schema of specification restricts set formation to avoid contradictions like Russell's paradox. The Axiom of infinity guarantees the existence of an infinite set, such as the set of all natural numbers, which is crucial for constructing real numbers within the theory. The Axiom schema of replacement, contributed by Abraham Fraenkel and independently by Thoralf Skolem, allows the image of a set under a definable function to also be a set, strengthening the system's expressive power.

Models and consistency

A model of this theory is a structure, typically within a broader framework like von Neumann's cumulative hierarchy, that satisfies all its axioms. The study of such models is a central concern in Model theory. The relative consistency of the theory, meaning it does not produce contradictions if other systems are consistent, was famously investigated by Kurt Gödel through his constructible universe, known as L. Gödel demonstrated that if Zermelo–Fraenkel set theory is consistent, then so is ZFC combined with the Continuum hypothesis. Later, Paul Cohen developed the method of forcing to construct models showing the independence of the Continuum hypothesis from the standard axioms, a result for which he was awarded the Fields Medal.

Independence and the axiom of choice

The Axiom of choice is a particularly significant and historically debated addition to the system. It asserts that for any collection of non-empty sets, there exists a function that selects one element from each set. While intuitively unobjectionable for finite collections, its acceptance for infinite families has profound consequences, such as the Well-ordering theorem and the existence of non-measurable sets like the Vitali set. The work of Kurt Gödel and Paul Cohen established that this axiom is independent of the other axioms of Zermelo–Fraenkel set theory; it can be neither proven nor disproven from them. This independence means there are models of the theory, such as the constructible universe, where the axiom holds, and others, like certain models built using forcing, where it fails.

Historical development

The theory originated in response to the foundational crises of the early 20th century, particularly the paradoxes discovered by Bertrand Russell and others in Cantor's naive set theory. Ernst Zermelo published his initial axiomatization in 1908, aiming to provide a secure foundation for Cantor's work while circumventing Russell's paradox. This system was later refined and expanded by Abraham Fraenkel, who, along with Thoralf Skolem, proposed the crucial Axiom schema of replacement. John von Neumann contributed the modern formulation of the Axiom of regularity, which forbids non-well-founded sets like sets containing themselves. The subsequent integration of the Axiom of choice by mathematicians like Zermelo himself solidified the system into the now-standard ZFC.

Role in mathematics

As the de facto foundation for most contemporary mathematics, the theory provides the underlying language and logical structure for nearly every branch. In analysis, the construction of the real number system via Dedekind cuts or Cauchy sequences relies fundamentally on its axioms. In algebra, concepts like groups, rings, and vector spaces are defined as sets with certain operations. Advanced fields like topology and functional analysis are built upon its framework. The theory's ability to formalize the concept of infinite sets and cardinal numbers makes it indispensable for modern mathematical practice, as recognized by institutions like the Institut Henri Poincaré and scholars following the tradition of the Bourbaki group.

Category:Set theory Category:Mathematical logic Category:Foundations of mathematics