Совокупная иерархия
-
Определение совокупной иерархии
- Совокупная иерархия — семейство множеств, индексированных по порядковым номерам, с определенными свойствами.
- Предельный порядковый номер определяет объединение всех множеств до него.
- Некоторые авторы требуют, чтобы каждое последующее множество было подмножеством предыдущего.
- Модель теории множеств часто строится на основе совокупной иерархии.
-
Примеры и применение
- Вселенная фон Неймана и декорации Lα являются примерами совокупной иерархии.
- Модели с логическим значением и обоснованные множества также строятся с использованием кумулятивной иерархии.
-
Принцип отражения
- Совокупная иерархия удовлетворяет принципу отражения, который утверждает, что формулы теории множеств, верные на объединении множеств иерархии, также верны на каждом этапе.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию, включая использование различных цветов и размеров шрифта.
Полный текст статьи: