Mathematics.

axiomatic set theory

Zermelo–Fraenkel Axioms

Set Theory35 minDifficulty4 out of 10

You should know: set basics

Overview

Zermelo–Fraenkel (ZF) set theory is the standard axiomatic foundation for modern mathematics, a list of axioms describing precisely what sets exist and how they may be formed, expressed entirely in first-order logic with a single primitive relation, membership (∈). Developed by Ernst Zermelo in 1908 and refined by Abraham Fraenkel and Thoraf Skolem in the 1920s, ZF was designed specifically to avoid the paradoxes (like Russell's paradox) that plagued earlier, unrestricted 'naive' set theory, by carefully restricting which collections are allowed to count as sets. When the axiom of choice is included, the system is called ZFC, and essentially all of ordinary mathematics can be formally developed within it.

Intuition

Naive set theory allowed forming a set from ANY property whatsoever — 'the set of all x such that φ(x)' — and this unrestricted freedom is exactly what let Russell construct his paradox (the set of all sets that don't contain themselves). ZF's key move is to forbid building sets 'from nothing': the axiom of Specification only lets you carve a SUBSET out of a set you already have, never conjure a brand-new set purely from a property. Combined with axioms guaranteeing that unions, power sets, and an infinite set exist, this gives just enough set-building power to reconstruct essentially all of classical mathematics (numbers, functions, real numbers, and so on as specific sets), while the restricted comprehension blocks every known paradox.

Formal Definition

Definition

ZF consists of a handful of axioms (schemas), stated here informally; each restricts or generates sets to avoid unrestricted, paradox-prone comprehension:

∀A ∀B [∀x(x∈A  ⟺  x∈B)⇒A=B]\forall A\, \forall B\, [\forall x (x \in A \iff x \in B) \Rightarrow A = B]
Axiom of Extensionality: sets are equal iff they have the same elements
∀A ∃B ∀x [x∈B  ⟺  (x∈A∧φ(x))]\forall A\, \exists B\, \forall x\, [x \in B \iff (x \in A \land \varphi(x))]
Axiom Schema of Specification (Separation): from a set A, the subset satisfying formula φ exists
∀A ∃P ∀x [x∈P  ⟺  x⊆A]\forall A\, \exists P\, \forall x\, [x \in P \iff x \subseteq A]
Axiom of Power Set: every set has a power set
∃I [∅∈I∧∀x∈I (x∪{x})∈I]\exists I\, [\emptyset \in I \land \forall x \in I\, (x \cup \{x\}) \in I]
Axiom of Infinity: an inductive set (containing ∅ and closed under successor) exists

Worked Examples

  1. Von Neumann encodes natural numbers as sets: 0=∅, 1={∅}, 2={∅,{∅}}, and so on, each n+1 = n ∪ {n}, using Pairing (to form {n}) and Union (to form n ∪ {n}).

    0=∅,1={∅},2={∅,{∅}}0 = \emptyset,\quad 1 = \{\emptyset\},\quad 2 = \{\emptyset, \{\emptyset\}\}

  2. The axiom of Pairing guarantees {a,b} exists whenever a, b exist; applying it and Union repeatedly builds each successive natural number as a set.

    {1,2,3} is then formed via Pairing and Union from these successor sets\{1,2,3\} \text{ is then formed via Pairing and Union from these successor sets}

Answer: Pairing gives two-element sets, Union combines sets, and Infinity guarantees the successor process can run forever — together they construct ℕ itself, and then any specific finite set like {1,2,3}, purely from ∅.

Practice Problems

Difficulty 3/10

Which ZF axiom guarantees that, given a set A, the collection of all its subsets is also a set?

Difficulty 4/10

What does the axiom of Extensionality assert?

Difficulty 6/10

Explain specifically why ZF's axioms cannot form the 'set of all sets that do not contain themselves' (Russell's paradoxical set), while naive comprehension could.

Quiz

ZF set theory replaces naive/unrestricted comprehension with which axiom schema?
ZFC refers to:
Which axiom guarantees the existence of an infinite set?

Summary

  • ZF is a first-order axiomatic system for set theory, built from axioms like Extensionality, Specification, Pairing, Union, Power Set, and Infinity.
  • Its key innovation over naive set theory is restricting comprehension (Specification only carves subsets from an existing set), which blocks Russell's paradox.
  • ZFC (ZF plus the Axiom of Choice) is the standard foundation for virtually all of modern mathematics.

References

  1. WebsiteWikipedia — Zermelo–Fraenkel set theory