Английская Википедия:Ground axiom
Материал из Онлайн справочника
In set theory, the ground axiom states that the universe of set theory is not a nontrivial set-forcing extension of an inner model. The axiom was introduced by Шаблон:Harvtxt and Шаблон:Harvtxt.
References