axiom of constructibility

logic

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 19, 2026

Quick Summary

The axiom of constructibility (often denoted as V = L) is a principle in set theory that, if added to the standard Zermelo-Fraenkel axioms (ZF), restricts the universe of sets to only those that can be constructed through a specific, step-by-step process. This axiom has significant implications for the continuum hypothesis, a famous unsolved problem concerning the sizes of infinite sets.1

Kurt Gödel demonstrated that the axiom of constructibility is consistent with ZF, meaning it doesn't introduce contradictions. However, most logicians do not adopt it because it limits the scope of sets that can be studied. The axiom of constructibility is a tool for understanding the independence of certain statements within set theory, rather than a universally accepted foundation.12

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.

history of logic
The continuum problem and the axiom of constructibility
…universe is known as the axiom of constructibility. The construction of the model proceeds stepwise, the steps being correlated with the finite and infinite ordinal numbers. At each stage, all the sets that can be defined in the universe so far reached are added. At a stage correlated with a…
Read More
…universe is known as the axiom of constructibility. The construction of the model proceeds stepwise, the steps being correlated with the finite and infinite ordinal numbers. At each stage, all the sets that can be defined in the universe so far reached are added. At a stage correlated with a…
Read More