Set Theory

From Cantor's diagonal to forcing

About This Series

Set theory is the foundational language of modern mathematics. Through the single notion of a "set" we describe numbers, functions, spaces — essentially every mathematical object — in a unified way. This series begins with naive sets, then advances to axiomatic set theory, the hierarchy of infinities, and independence proofs.

Set theory is at once "the grammar of mathematics" and a deep subject of study in its own right. The ultimate goal is to understand twentieth-century landmarks such as the independence of the continuum hypothesis.

Study by Level

Introduction

High school to undergraduate year 1

  • What is a set?
  • Set operations
  • Maps and relations
  • Finite and infinite

Basics

Undergraduate years 1–2

  • Countable vs. uncountable
  • The axiom of choice
  • The well-ordering theorem
  • Zorn's lemma

Intermediate

Undergraduate years 3–4

  • The ZFC axioms
  • Ordinals and transfinite induction
  • Cardinal arithmetic
  • The continuum hypothesis

Advanced

Graduate level

  • The constructible universe $L$
  • Introduction to forcing
  • Large cardinals
  • Descriptive set theory

Learning Path

Introduction High school–Year 1 Basics Undergrad 1–2 Intermediate Undergrad 3–4 Advanced Graduate Intro: sets, maps, relations; finite vs. infinite Basics: countable vs. uncountable, axiom of choice, Zorn's lemma Intermediate: ZFC, ordinals and cardinals, continuum hypothesis Advanced: constructible universe L, forcing, large cardinals

Key Topics

Sets and Maps

The basic language of mathematics — the viewpoint that any mathematical object is, ultimately, a set.

The Hierarchy of Infinities

Countable vs. uncountable infinities, Cantor's diagonal argument, and how to compare different infinities.

Ordinals and Cardinals

Generalising the act of counting via transfinite ordinals; measuring "size" with cardinals.

Independence and Undecidability

The continuum hypothesis is neither provable nor refutable in ZFC — the limits and possibilities of mathematics.

Why Study Set Theory?

Several reasons:

  • Foundational language of mathematics: the vocabulary of set theory pervades nearly every branch.
  • Understanding infinity: the only rigorous way to handle infinity.
  • Logical thinking: excellent training in deriving theorems from axioms.
  • The limits of mathematics: understand the existence of undecidable propositions and the nature of mathematics itself.
  • Cross-disciplinary applications: the foundation for topology, algebra, analysis, and more.

Applications

  • Foundations of mathematics: a rigorous basis for all of mathematics.
  • Topology: definitions of open and closed sets and continuous maps.
  • Measure theory: σ-algebras and the theory of measurable sets.
  • Algebra: definitions of groups, rings, and fields; a bridge to category theory.
  • Computer science: type theory, formal verification, database theory.
  • Logic: connections with model theory and proof theory.