Naive Set Theory

About the book

Paul R. Halmos wrote this book as a working introduction to set theory. It begins with the everyday idea of a collection and then builds, step by step, the vocabulary that much of higher mathematics assumes: subsets, unions and intersections, ordered pairs, relations, functions, and the arithmetic of cardinal and ordinal numbers. The treatment is informal in method but exact in statement. Proofs are given, but the apparatus of formal logic is kept in the background.

The book is compact and deliberate. Halmos moves through definitions and simple results at a steady pace, using short exercises to make the reader supply arguments that the text leaves open. The subject matter is foundational, and the tone is that of a mathematician talking to a student who is ready to think. Later sections on well ordering, transfinite recursion, and the axiom of choice introduce ideas that recur across algebra, analysis, and topology.

Because the book stays close to its subject, it works less as a history or a philosophical defense of set theory than as a practical manual. The reader learns how mathematicians define objects and prove claims about them, and sees why certain conventions were adopted.

How to read it

Read with paper at hand. The definitions are short, and their consequences are often left to the exercises. Pausing to prove a claim before reading on is the intended method, and skipping that step will make later sections feel abrupt.

The prose is spare and the chapters are brief, so the difficulty lies in the density of ideas rather than in long exposition. Expect to reread the passages on order types and cardinal arithmetic; they reward a second pass. Readers who want a fully formal treatment of axioms and consistency should look elsewhere, since this book deliberately stays informal.

Who it suits

This suits undergraduates entering abstract mathematics, graduate students in other fields who need to repair gaps in their foundations, and self-taught readers with some proof experience who want a reliable account of the standard vocabulary. Teachers will find it useful for its clear definitions and its exercises. Anyone curious about how mathematics is built from the ground up will get a concrete view of the process.

Reading considerations

The informal approach means some foundational questions are set aside rather than answered, and readers interested in formal logic or the paradoxes of naive comprehension will need a second source. Editions differ in pagination and in the addition of supplementary material, so check which printing you have before following cross-references.