Matches in DBpedia 2015-10 for { ?s ?p "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, where V and L denote the von Neumann universe and the constructible universe, respectively. 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."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Axiom_of_constructibility abstract "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, where V and L denote the von Neumann universe and the constructible universe, respectively. 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.".