Аксиома, утверждающая, что для любого множества X существует ординал а, для которого X е Va, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Ершов Ю.Л. Математическая логика


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

(cкачать страницу)

Смотреть книгу на libgen

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