Аксиома ограничения размера
- Аксиома выбора утверждает, что для любого множества существует выборка, содержащая не менее одного элемента из каждого непустого подмножества.
- Аксиома бесконечности утверждает, что существует бесконечное множество.
- Цермело доказал, что некоторые его модели удовлетворяют аксиоме ограничения размера.
- Модели Цермело построены в ZFC с использованием кумулятивной иерархии Va.
- Теоремы 1 и 2 доказывают, что множество и классы Vk обладают хорошей упорядоченностью и имеют мощность, равную ω.
- Доктрина ограничения размера является эвристическим принципом, который используется для обоснования аксиом теории множеств.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: