Why did mathematicians develop axioms for set theory?

Mathematicians developed axioms for set theory primarily to establish a rigorous foundation for mathematics and to resolve logical contradictions inherent in earlier, "naive" approaches.1

The primary catalyst for this shift was the discovery of Russell’s paradox, which demonstrated that the "unrestricted comprehension principle"—the assumption that any property could define a set—led to logical inconsistencies, such as the set of all sets that do not contain themselves. By replacing this principle with carefully constrained axioms, such as those found in Zermelo-Fraenkel set theory, mathematicians could construct sets in a controlled, "iterative" manner that avoids such "vicious circles".23

Beyond resolving paradoxes, the axiomatic approach provides a formal framework where the nature of "sets" and "membership" are treated as undefined terms, with their properties governed strictly by the axioms. This allows mathematicians to evaluate theories based on:4
* Consistency: Ensuring that no statement and its negation can both be derived.4
* Plausibility: Aligning with intuitive beliefs about mathematical objects.4
* Richness: Ensuring that essential mathematical results can still be derived as theorems.4