In set theory, the ground axiom states that the
universe
The universe is all of space and time and their contents, including planets, stars, galaxies, and all other forms of matter and energy. The Big Bang theory is the prevailing cosmological description of the development of the universe. Acc ...
of set theory is not a nontrivial set-
forcing
Forcing may refer to: Mathematics and science
* Forcing (mathematics), a technique for obtaining independence proofs for set theory
*Forcing (recursion theory), a modification of Paul Cohen's original set theoretic technique of forcing to deal with ...
extension of an
inner model
In set theory, a branch of mathematical logic, an inner model for a theory ''T'' is a substructure of a model ''M'' of a set theory that is both a model for ''T'' and contains all the ordinals of ''M''.
Definition
Let L = \langle \in \rangle be ...
. The axiom was introduced by and .
References
*
*
*
*
Axioms of set theory
{{mathlogic-stub