This book is intended for advanced readers.

This book requires that you first read Logic Formal Logic

A PDF versionCategory:Books with PDF version required is available. (info)

Set Theory is the study of sets. Essentially, a set is a collection of mathematical objects. Set Theory forms the foundation of all of mathematics.

In Naive Set Theory, there is an axiom which is known as the unrestricted comprehension schema axiom. It states that there exists a set ${\displaystyle x}$ such that a formula in first-order logic ${\displaystyle \phi (y)}$ holds for all elements ${\displaystyle y}$ in ${\displaystyle x}$, i.e., ${\displaystyle x=\{y\,|\,\phi (y)\}}$.

In 1901, Bertrand Russel found this to be inconsistent. This inconsistency is now known as Russel's Paradox. Russel claimed that if it were consistent, then ${\displaystyle R=\{x\,|\,x\notin x\}}$ is a set. Which is contradictory since ${\displaystyle R\in R}$ if and only if ${\displaystyle R\notin R}$. Thus, this theory was found to be inconsistent. (Fun fact: apparently Zermelo discovered this inconsistency in 1899, but did not publish ^[1].)

This motivated Zermelo to Axiomatize Set Theory. And motivates why we, too, should study this.

This is an undergraduate book, but will also include some graduate level topics. But mainly, anyone with basic mathematical maturity can engage in this book.

Table of Contents

Chapter

Introduction

1. The Language of Set Theory
2. Zermelo-Fraenkel (ZF) Axioms
3. Relations
4. Constructing Numbers
5. Orderings
6. Zorn's Lemma and the Axiom of Choice
7. Ordinals
8. Cardinals

Appendix

1. Naive Set Theory
2. Sets

Review

Links

• Zermelo‒Fraenkel set theory
• Countability
• Systems of sets

Further reading

Wikipedia has related information at Set theory

• Discrete Mathematics/Set theory
• Krzysztof Ciesielski, Set Theory for the Working Mathematician (1997)
• P. R. Halmos, Naive Set Theory (1974)
• Karel Hrbacek, Thomas J. Jech, Introduction to set theory (1999)
• Thomas J. Jech, Set Theory 3rd Edition (2006)
• Kenneth Kunen, Set Theory: an introduction to independence proofs (1980)
• Judith Roitman, Introduction to Modern Set Theory (1990)
• John H. Conway, Richard Guy The Book of Numbers - chapter 10
• Tobias Dantzig, Joseph Mazur Number: The Language of Science Category:Book:Set Theory#%20 Category:Subject:Discrete mathematics#Set%20Theory

1. ↑ w:Russell's_paradox