axiomatic set theory

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

June 18, 2026

Quick Summary

Axiomatic set theory is a branch of mathematics that provides a rigorous foundation for understanding collections of objects, known as sets. Instead of defining what sets are, it focuses on their properties through a set of axioms and logical rules. This approach, pioneered by mathematicians like Ernst Zermelo and Thoralf Skolem, aims to avoid the paradoxes that arose in earlier, "naive" set theory, such as Russell's paradox. The Zermelo-Fraenkel axioms (ZFC) are a widely accepted system that allows for the derivation of most of known mathematics from the fundamental concepts of sets and membership. This framework is crucial for defining complex mathematical ideas and ensuring consistency in mathematical reasoning.123

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

3 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

set theory
Axiomatic set theory
In contrast to naive set theory, the attitude adopted in an axiomatic development of set theory is that it is not necessary to know what the “things” are that are called “sets” or what the relation of membership means. Of sole concern…
Read More
In contrast to naive set theory, the attitude adopted in an axiomatic development of set theory is that it is not necessary to know what the “things” are that are called “sets” or what the relation of membership means. Of sole concern…
Read More

mathematics
Cantor
…(notably in Poland) and an axiomatic theory of sets that avoided Russell’s paradoxes and the others that had sprung up.
Read More
…(notably in Poland) and an axiomatic theory of sets that avoided Russell’s paradoxes and the others that had sprung up.
Read More

metalogic
Logic and metalogic
…set theory, and, in fact, axiomatic set theory is often regarded as a part of logic. For the purposes of this article, however, it is more appropriate to confine the discussion to logic in the first sense.
Read More
…set theory, and, in fact, axiomatic set theory is often regarded as a part of logic. For the purposes of this article, however, it is more appropriate to confine the discussion to logic in the first sense.
Read More

Paul Isaak Bernays
…delved into the realm of set theory, trying to streamline the Zermelo-Fraenkel system of axioms (see logic, history of: 20th-century set theory). This work appeared in a series of articles under the title “A System of Axiomatic Set Theory” (1937–54), from which the principal theses were published as Axiomatic Set…
Read More
…delved into the realm of set theory, trying to streamline the Zermelo-Fraenkel system of axioms (see logic, history of: 20th-century set theory). This work appeared in a series of articles under the title “A System of Axiomatic Set Theory” (1937–54), from which the principal theses were published as Axiomatic Set…
Read More