Английская Википедия: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


Шаблон:Mathlogic-stub