Set Theory

A set is a collection of distinct objects, called its elements or members. Membership is the basic relation: an object either belongs to a set or does not. Sets can be described by listing their members when there are few of them, or by a rule that states which objects qualify. The empty set contains no elements, and a subset is a set whose members all belong to another set.

Set operations provide concise ways to combine collections. The union of two sets contains the elements found in either one; their intersection contains only shared elements. These operations, together with relations such as inclusion and constructions such as the power set, allow mathematicians to describe and compare complex collections precisely.

Set theory gives mathematicians tools for comparing the sizes of infinite collections. For finite sets, size is found by counting. For infinite sets, two sets have the same cardinality when their elements can be paired one-to-one, even when one set appears to be only part of the other. For example, the natural numbers can be paired with the even natural numbers by matching each number with twice its value.

Georg Cantor's investigations showed that not all infinite sets have the same cardinality: the real numbers cannot be paired one-to-one with the natural numbers. This distinction between countable and uncountable infinity became a central result of modern mathematics and helped establish set theory as a subject in its own right.

Early, informal approaches treated a set as any collection specified by a property. Taken without limits, that idea leads to contradictions. Russell's paradox, for example, arises when one tries to form the collection of all sets that are not members of themselves: asking whether that collection is a member of itself produces a contradiction.

Axiomatic set theories address this problem by stating rules for which sets exist and how new sets can be constructed. Zermelo–Fraenkel set theory (ZF), often used together with the Axiom of Choice (ZFC), is a prominent system. Its axioms restrict unrestricted collection-making while supporting the set constructions used in ordinary mathematics. Other formal systems and foundational approaches also exist, so ZFC is a widely used framework rather than the only conceivable foundation.

Set theory is useful both as a mathematical subject and as a language for organizing other subjects. Numbers, functions, relations and many larger structures can be represented in set-theoretic terms, allowing their properties to be expressed within a common formal framework. Set notation also appears throughout areas such as algebra, analysis, probability and computer science.

Its foundational role does not mean that every mathematical question is settled by set theory, or that mathematicians must use only one foundation. Rather, axiomatic set theories provide a systematic way to define mathematical objects and derive results from explicit assumptions. Set theory itself continues to investigate questions about infinite cardinalities, ordinals and the consequences of different axioms.