Ground axiom


In set theory, the ground axiom was introduced by and. It states that the universe is not a nontrivial set forcing extension of an inner model.