Linked from

The 54 pages that link to Set theory, each with the reason it gives.

• Bertrand RussellRelated: A contradiction in naive set theory prompted Russell’s best-known logical paradox.

• Classical logicRelated: Classical logic is the standard underlying logic of much axiomatic set theory.

• Partial orderRelated: Partial orders provide structure for comparing sets and organizing set-theoretic arguments.

• Mathematical logicRelated: It became a dominant framework for expressing mathematical foundations, though it is not identical to logic.

• Richard DedekindRelated: His definition of infinite sets helped make set-theoretic reasoning part of mathematics.

• Andrey KolmogorovRelated: His probability axioms describe events as measurable sets.

• Formal systemRelated: Axiomatic set theories provide a prominent setting for formalizing mathematics.

• Foundations of mathematicsRelated: It serves as a common framework for expressing much of modern mathematics.

• MathematicsRelated: It provides a common language for defining mathematical objects and structures.

• Second-order logicRelated: Second-order quantification can express set-theoretic principles in alternative foundations.

• Foundations of GeometryRelated: Many formal treatments represent geometric points and structures using set-theoretic objects.

• Pure mathematicsRelated: It provides a language for constructing and comparing mathematical objects.

• Higher-order logicRelated: Full higher-order semantics can be described using collections of sets and relations.

• Richard RadoRelated: Set-theoretic methods underpin Rado’s results on infinite structures.

• Number (mathematics)Related: Set theory offers constructions of number systems and tools for comparing their sizes.

• Description logicRelated: Concepts are interpreted as sets of individuals, giving the language its standard semantics.

• Discrete mathematicsRelated: Sets provide a language for defining collections of discrete objects and their properties.

• Alain BadiouRelated: Badiou uses axiomatic set theory to describe being as pure multiplicity.

• Kőnig's lemmaRelated: The lemma's distinction between finite branching and infinite size is naturally expressed in set-theoretic terms.