In that work he introduced the constructible universe, a model of set theory in which the only sets that exist are those that can be constructed from simpler sets.
Во тоа дело тој го претставил конструктивниот универзум, модел на теорија на множествата во кој единствените множества кои постојат се оние кои можат да бидат конструирани од поедноставни множества.