Об основаниях теории множеств
...степени и подстановки — описывают множества свойствами, а гёделевская теория конструктивных множеств показывает, что некоторую модель теории множеств можно получить, рассматривая вообще только множества , в некотором смысле отвечающие свойствам.