 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2017) |
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.[1]
- ^ Hamkins, Joel David (February 27, 2015). "Embeddings of the universe into the constructible universe, current state of knowledge, CUNY Set Theory Seminar, March 2015". jdh.hamkins.org. Archived from the original on April 23, 2024. Retrieved September 22, 2024.