Ответсообщение недоступно
Пусть V — множество всех множеств (универсум).
По аксиоме выделения: R = { x ∈ V | x ∉ x } — тоже множество.
Если R ∈ R, то по определению R ∉ R.
Если R ∉ R, то R ∈ R.
Противоречие. Следовательно, V не может быть множеством.
В ZF универсума как множества не существует; в NBG он есть лишь как собственный класс, не принадлежащий другим классам.