Branches of Mathematics

Set Theory

Citation Formats

General Reference

Mathematics Atlas. "Set Theory." Accessed August 30, 2026. https://dev-mathematics.interactiveatlas.org/branches/set-theory.

APA Style

Mathematics Atlas. (n.d.). Set Theory. Retrieved August 30, 2026, from https://dev-mathematics.interactiveatlas.org/branches/set-theory

BibTeX

@misc{mathematicsatlas-set-theory,
  author = {Mathematics Atlas},
  title = {Set Theory},
  year = {2026},
  url = {https://dev-mathematics.interactiveatlas.org/branches/set-theory},
  note = {Accessed August 30, 2026}
}

Set theory is the branch of mathematical logic that studies sets, informally described as collections of objects, along with their sizes, structures and the axioms that can found the rest of mathematics upon them. It emerged in the 1870s through the work of Georg Cantor and Richard Dedekind.

Facts

Central Question

What are the possible sizes of infinite collections, and what axioms can consistently and completely found the rest of mathematics on the notion of a set? 1

Key Debate

Whether the axiom of choice, which guarantees a selection function for any collection of nonempty sets without constructing one, should be accepted as a foundational axiom. Zermelo-Fraenkel set theory adopts it as standard (ZFC), but constructivist mathematicians reject the non-computable objects it entails, and Bertrand Russell's discovery that unrestricted set formation produces contradictions forced the field away from naive set theory entirely. 1

Cross-Tradition Connections