Аксиома регулярности
- Аксиома Цермело — это аксиома, утверждающая, что каждое множество имеет основание.
- Основание множества — это множество, которое содержит все элементы множества.
- Аксиома основания была введена Цермело и является упрощением и расширением теории Рассела.
- Понятие обоснованности и ранга множества было введено Дмитрием Миримановым.
- В теории множеств ZF элементов нет, но в некоторых других теориях множеств они есть.
- В этих теориях аксиома регулярности должна быть изменена.
Полный текст статьи: