---
title: Set Theory Axioms
description: Set theory axioms define the foundational rules for constructing and manipulating mathematical sets. You will understand the Zermelo-Fraenkel axioms, the Axiom of Choice, and how these principles resolve paradoxes to provide a rigorous basis for all mathematics.
category: mathematics
subcategory: mathematical-logic
difficulty: beginner, intermediate, advanced
url: /subject/set-theory-axioms
---

# Set Theory Axioms

Set theory axioms define the foundational rules for constructing and manipulating mathematical sets. You will understand the Zermelo-Fraenkel axioms, the Axiom of Choice, and how these principles resolve paradoxes to provide a rigorous basis for all mathematics.

## Available Resources

3 Books • 4 Websites

## Websites

### 1. PlanetMath: Zermelo-Fraenkel Axioms

PlanetMath encyclopedia entry stating the Zermelo–Fraenkel axioms of set theory: extensionality, pairing, union, power set, infinity, separation, replacement, and foundation, with a note on adding choice to obtain ZFC. A compact reference for each axiom's precise content.

**Difficulty:** Beginner | **Price:** Free

**Link:** https://planetmath.org/zermelo-fraenkelaxioms

**Tags:** set-theory, zfc, axiomatic-set-theory, mathematical-logic

### 2. Stanford Encyclopedia of Philosophy - Set Theory

Joan Bagaria's peer-reviewed Stanford Encyclopedia of Philosophy entry surveying modern set theory: the ZFC axioms, ordinals and cardinals, the continuum hypothesis, forcing and independence results, large cardinals, and determinacy. Readers gain a map of the field's central questions and results.

**Difficulty:** Beginner | **Price:** Free

**Link:** https://plato.stanford.edu/entries/set-theory/

**Tags:** set-theory, zfc-axioms, cardinals-and-ordinals, forcing, large-cardinals, philosophy-of-mathematics

### 3. Wolfram MathWorld

**Author:** Eric W. Weisstein

MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.

**Difficulty:** Intermediate | **Language:** English | **Price:** Free

**Link:** https://mathworld.wolfram.com

**Tags:** mathematics-reference, encyclopedia, abstract-algebra, number-theory, geometry

### 4. plato.stanford.edu

The Stanford Encyclopedia of Philosophy is a peer‑reviewed online encyclopedia of philosophy featuring in‑depth, scholarly articles written and regularly updated by experts, including comprehensive coverage of logic topics.

**Difficulty:** Intermediate | **Language:** English | **Price:** Free

**Link:** https://plato.stanford.edu

**Tags:** websites, mathematics-statistics, discrete-math

## Books

### 1. Set Theory: An Open Introduction

**Author:** Tim Button and the Open Logic Project

Free CC BY textbook from the Open Logic Project. Chapter 4 covers function basics, kinds of functions, functions reduced to relations, inverses and composition; Chapter 5 uses bijections for enumerability, Cantor's theorem and Schroder-Bernstein.

**Difficulty:** Intermediate | **Language:** English | **Price:** Free

**Link:** https://st.openlogicproject.org/

**Tags:** set-theory, functions, bijections, cardinality, open-textbook

### 2. Set Theory: An Introduction to Independence Proofs

**Author:** Kenneth Kunen

Graduate text that develops ZFC from the axioms through ordinals, cardinals, infinitary combinatorics and Martin's axiom, then constructible sets and forcing. Readers who finish it can follow and construct consistency proofs, including the independence of the continuum hypothesis.

**Difficulty:** Advanced | **Language:** English | **Price:** Paid

**Link:** https://www.amazon.com/dp/0444868399?tag=edmonddante07-20

**Tags:** set theory, zfc, forcing, independence proofs, infinitary combinatorics

### 3. Set Theory

**Author:** Thomas Jech

Set Theory - A book resource

**Difficulty:** Intermediate | **Language:** English | **Price:** Paid

**Link:** https://www.amazon.com/dp/0387055649?tag=edmonddante07-20

**Tags:** books, mathematics-statistics, mathematical-logic

---

*This content is part of Dantes.io - Your Treasure Map to Knowledge*

*Curated by humans at Dantes.io. Personal study use welcome; republishing this curation requires permission (team@dantes.io).*

View this page online: https://dantes.io/subject/set-theory-axioms