This book is an introduction to set theory that begins from the intuitive viewpoint most readers naturally bring to the subject and leads, by careful stages, to two of its deepest themes: Cantor's theory of infinite size and the transfinite viewpoint of ordinals, well-orders, and transfinite induction. It is organized around a single conviction: the seemingly elementary ideas of collection, function, order, and counting are not mere preliminaries but the very substance of the subject—and following them seriously, from finite examples to genuinely infinite ones, is how set theory becomes meaningful.
The exposition develops along two converging lines. The first is the theory of cardinality, which asks how large a set is: when two sets have the same size, what it means for a set to be infinite, what separates the countable from the uncountable, and how large infinities can be compared and combined. The second is the theory of ordinals, which asks how a well-ordered process is arranged: how transfinite induction extends ordinary induction, how ordinal arithmetic works, and why the structure of well-ordered sets is so central to modern mathematics. These two threads are different in character but deeply intertwined, and the book holds them together throughout.
A central thesis of the book is that abstraction is not the starting point but the destination. We begin by speaking informally about collections and rules and comparisons—the language working mathematicians actually use—and we reach the axioms of ZF and ZFC only after the reader has seen, in concrete terms, what those axioms are there to protect. The move from intuition to rigor is not a correction of earlier thinking; it is a clarification of it.
Key Features of This Book
- Intuition Before Formalism: Every new concept is introduced through the problem it solves or the example that demands it. Normal subsets, choice functions, well-orders, and ordinals each arrive after the reader already has a reason to want them.
- A Unified Narrative Arc: The book is built around a single progression—from finite counting to cardinal arithmetic and the transfinite—rather than a collection of separate topics. Each part grows out of the questions left open by the previous one.
- Careful Attention to Language: Because the book is addressed to readers meeting proof-based mathematics for the first time, it spends real time on mathematical language, quantifiers, proof patterns, and the difference between a definition and a theorem. These are not preliminaries; they are skills on which everything later depends.
- Axioms as Earned, Not Imposed: The axiomatic treatment of ZF and ZFC appears at the end of the book, not the beginning. By then, the reader has already seen unions, power sets, functions, ordinals, and cardinals at work. The axioms arrive as an explanation of which earlier moves are legitimate—and why.
For Whom Is This Written?
The intended reader is a student who may be meeting proof-based university mathematics for the first time. The only assumed background is high-school calculus, routine algebraic manipulation, and elementary matrix operations. No prior knowledge of set theory, formal logic, linear algebra, abstract algebra, topology, or real analysis is assumed, and no familiarity with the conventions of proof-based textbooks is taken for granted.
At the same time, this is not a watered-down treatment. The mathematics is real mathematics. The subject gradually becomes deeper—countability gives way to uncountability, finite induction gives way to transfinite induction, and the ordinary idea of size is refined into several notions that must be handled with care. More advanced readers, including graduate students and mathematicians who want a slower and more conceptually staged entry into set theory than standard texts provide, will also find the book useful.
How the Book is Organized
- Part I: Learning the Language of Sets — Introduces mathematical language from the ground up: propositions and quantifiers, proof methods, basic set operations, ordered pairs, Cartesian products, functions, indexed families, relations, and order.
- Part II: Numbers Built from Sets and the First Infinite Worlds — Defines the natural numbers inside set theory, develops the theory of finite sets and counting, and establishes the first major results about infinite and uncountable sets, including Cantor's diagonal argument.
- Part III: Choice and the Transfinite Viewpoint — Introduces choice functions and the axiom of choice, develops well-ordered sets and ordinal numbers, and establishes transfinite induction, transfinite recursion, and ordinal arithmetic.
- Part IV: Cardinality Beyond Countability — Returns to the question of size at a deeper level, covering cardinal numbers, the Cantor–Bernstein theorem, Hartogs' theorem, and cardinal arithmetic.
- Part V: Foundations, Axioms, and Outlook — Steps back from the intuitive development to ask what justifies it: Russell's paradox, the axioms of ZF and ZFC, the cumulative hierarchy, and directions for further study.