--- title: Set Theory description: Set theory is the study of collections of objects, serving as the foundational language of modern mathematics. Learners will understand operations like union and intersection, cardinality, and the axiomatic systems that structure mathematical reasoning. category: mathematics subcategory: discrete-math difficulty: beginner, intermediate, advanced url: /subject/set-theory --- # Set Theory Set theory is the study of collections of objects, serving as the foundational language of modern mathematics. Learners will understand operations like union and intersection, cardinality, and the axiomatic systems that structure mathematical reasoning. ## Available Resources 5 Books • 2 Courses • 3 Websites ## Websites ### 1. ProofWiki - Set Theory Category index on the community-maintained ProofWiki collecting formal definitions and rigorous proofs of set-theoretic results, from basic operations and relations to cardinals, ordinals, and the ZFC axioms. Useful for checking a precise statement or a complete proof step by step. **Difficulty:** Beginner | **Price:** Free **Link:** https://proofwiki.org/wiki/Category:Set_Theory **Tags:** set-theory, proofs, mathematical-logic, zfc, definitions ### 2. Stanford Encyclopedia of Philosophy - Set Theory Joan Bagaria's peer-reviewed Stanford Encyclopedia of Philosophy entry surveying modern set theory: the ZFC axioms, ordinals and cardinals, the continuum hypothesis, forcing and independence results, large cardinals, and determinacy. Readers gain a map of the field's central questions and results. **Difficulty:** Beginner | **Price:** Free **Link:** https://plato.stanford.edu/entries/set-theory/ **Tags:** set-theory, zfc-axioms, cardinals-and-ordinals, forcing, large-cardinals, philosophy-of-mathematics ### 3. Wolfram MathWorld **Author:** Eric W. Weisstein MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading. **Difficulty:** Intermediate | **Language:** English | **Price:** Free **Link:** https://mathworld.wolfram.com **Tags:** mathematics-reference, encyclopedia, abstract-algebra, number-theory, geometry ## Courses ### 1. Mathematics for Computer Science (MIT 6.042J) **Author:** Tom Leighton, Marten van Dijk Discrete mathematics for computer science with an emphasis on definitions and proofs: logic, induction, sets and relations, graph theory, modular arithmetic, asymptotics, counting and discrete probability. 25 lecture videos, problem sets and exams with solutions build fluency in writing proofs. **Difficulty:** Intermediate | **Price:** Free **Link:** https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/ **Tags:** discrete-mathematics, mathematical-proofs, induction, graph-theory, combinatorics, discrete-probability ### 2. Discrete Mathematics **Author:** Dominik Scheder Dominik Scheder's proof-based course on sets, functions and relations, enumerative combinatorics, graph theory, and network flows and matchings, each concept paired with a fully proved non-trivial result. Learners read formal statements and write rigorous proofs of their own. **Difficulty:** Intermediate | **Language:** English | **Duration:** 11 weeks of study, 3-5 hours per week. | **Price:** Free **Link:** https://www.coursera.org/learn/discrete-mathematics **Tags:** discrete-math, combinatorics, graph-theory, network-flows, proofs ## Books ### 1. Naive Set Theory **Author:** Paul R. Halmos Paul Halmos's short classic introduction to set theory, built up from the axioms of extension, specification, pairing, and choice through relations, functions, natural numbers, ordinals, and cardinals. Readers learn the set-theoretic vocabulary assumed by nearly all modern mathematics. **Difficulty:** Intermediate | **Language:** English | **Price:** Paid **Link:** https://www.amazon.com/dp/1950217000?tag=edmonddante07-20 **Tags:** books, mathematics-statistics, discrete-math ### 2. Set Theory: An Introduction to Independence Proofs **Author:** Kenneth Kunen Graduate text that develops ZFC from the axioms through ordinals, cardinals, infinitary combinatorics and Martin's axiom, then constructible sets and forcing. Readers who finish it can follow and construct consistency proofs, including the independence of the continuum hypothesis. **Difficulty:** Advanced | **Language:** English | **Price:** Paid **Link:** https://www.amazon.com/dp/0444868399?tag=edmonddante07-20 **Tags:** set theory, zfc, forcing, independence proofs, infinitary combinatorics ### 3. Introduction to Set Theory **Author:** Karel Hrbacek, Thomas Jech Undergraduate textbook developing axiomatic set theory from relations, functions, and orderings through countable and uncountable sets, the real numbers, and cardinal and ordinal arithmetic, with chapters on the axiom of choice, filters, ultrafilters, and partitions. Includes end-of-section problems for self-study. **Difficulty:** Intermediate | **Language:** English | **Price:** Paid **Link:** https://www.amazon.com/dp/0824779150?tag=edmonddante07-20 **Tags:** books, mathematics-statistics, discrete-math ### 4. Elements of Set Theory **Author:** Herbert B. Enderton Undergraduate textbook developing axiomatic Zermelo-Fraenkel set theory from the ground up. Covers relations and functions, the construction of the natural and real numbers, cardinals, ordinals and the axiom of choice, leaving the reader able to work with sets rigorously. **Difficulty:** Intermediate | **Language:** English | **Price:** Paid **Link:** https://www.amazon.com/dp/0122384407?tag=edmonddante07-20 **Tags:** set theory, zfc, relations and functions, cardinal numbers, ordinal numbers, axiom of choice ### 5. Set Theory: An Introduction **Author:** Robert L. Vaught Undergraduate text by logician Robert Vaught introducing set theory informally before developing it axiomatically, covering cardinal and ordinal numbers, transfinite induction, the axiom of choice, and the ZF axioms. This second edition includes solutions to the problems, making it suitable for self-study. **Difficulty:** Intermediate | **Language:** English | **Price:** Paid **Link:** https://www.amazon.com/dp/0817636978?tag=edmonddante07-20 **Tags:** books, mathematics-statistics, discrete-math --- *This content is part of Dantes.io - Your Treasure Map to Knowledge* *Curated by humans at Dantes.io. Personal study use welcome; republishing this curation requires permission (team@dantes.io).* View this page online: https://dantes.io/subject/set-theory