text: По утверждению Ройтман (без ссылок на какие-либо источники), эквивалентность аксиомы регулярности и равенства кумулятивной иерархии универсуму ZF-множеств была впервые продемонстрирована фон Нейманом.