Set theory is where mathematics examines its own foundations, and that makes the reading order unusually important. Start too abstract and the axioms look like arbitrary rules; start too casual and you never reach the profound results that justify the whole enterprise. The subject rewards a patient climb.
The path moves from the naive, intuitive treatment that most working mathematicians actually use, through the careful axiomatic development, and finally to the advanced theory of models, forcing, and the infinite hierarchy of large cardinals. Each level reinterprets the one before.
The intuitive foundation
Begin with Naive Set Theory by Halmos, a famously concise classic that covers the essential machinery — relations, functions, ordinals, and the axiom of choice — with warmth and economy. The Joy of Sets by Devlin is a friendly companion that bridges toward the axiomatic view without losing the reader. Together they give you the working fluency that most of mathematics silently assumes.
The axiomatic core
Next comes the rigorous development of the axioms themselves. Elements of set theory by Enderton builds ZFC carefully from the ground up and is a standard, readable course text. Axiomatic set theory by Suppes offers a complementary formal treatment, and Introduction to set theory by Hrbacek and Jech is the balanced textbook many programs assign, covering ordinals, cardinals, and the transfinite with clarity.
The deep theory
The advanced texts are where set theory becomes strange and beautiful. Set theory by Kunen is the standard graduate introduction to forcing and independence proofs — the techniques that show the continuum hypothesis is neither provable nor refutable. Set Theory by Jech is the comprehensive reference, encyclopedic in scope. The higher infinite by Kanamori then charts the towering hierarchy of large cardinals, the frontier where set theory probes the limits of mathematical existence.
Read in this order and the foundations reveal themselves as one continuous story rather than a pile of axioms. Follow the full path to travel from intuitive collections to the independence results that reshaped what mathematicians thought was knowable.
