Выдержка из книги
Ершов Ю.Л.
Математическая логика
Аксиома, утверждающая, что для любого множества X существует ординал а, для которого X е Va, на зывается аксиомой регулярности. Таким образом, по аксиоме регулярности каждое множество получается на некотором шаге регулярного процесса, при котором, исходя из пустого множества, на каждом шаге получаются все множества, элементы которых уже получены на предыдущих шагах.