Set theory

Set theory is the branch of mathematics that studies sets — collections of objects considered as wholes — and provides the standard ontological framework within which most modern mathematics is conducted. The dominant axiomatization, Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), was developed in response to the paradoxes of naive set theory (most famously Russell's paradox) and serves as the implicit foundation for everything from arithmetic to topology. The foundational significance of set theory is not that it reveals what numbers really are — numbers are not metaphysically sets — but that it provides a shared universe of discourse in which mathematical objects can be constructed, compared, and proved to exist or not exist. The open frontier of set theory lies in the independence phenomena: statements such as the Continuum Hypothesis that ZFC cannot decide, forcing a choice between extending the axioms or accepting permanent undecidability.

Set theory is not the bedrock of mathematics. It is the standardized scaffolding — useful, well-understood, and replaceable. The belief that ZFC captures the 'true' universe of sets is itself a metaphysical commitment no more justified by mathematical practice than the belief that English captures the 'true' structure of thought.