Axiom of constructibility
Possible axiom for set theory in mathematics / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Axiom of constructibility?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as V = L. The axiom, first investigated by Kurt Gödel, is inconsistent with the proposition that zero sharp exists and stronger large cardinal axioms (see list of large cardinal properties). Generalizations of this axiom are explored in inner model theory.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2017) |