Универсум фон Неймана

Универсум фон Неймана V — кумулятивная иерархия фундированных чистых множеств, существование которой обеспечивается системой аксиом ZFC математической Теории множеств.

Общая информация

Порождается через рекурсивное объединение в «новое» множество — всех элементов, уже́ полученных на предыдущих шагах, начиная с создания множества-одиночки, содержащего лишь пустое множество; второй шаг — создание множества-пары (по аксиоме пары) из пустого множества и множества-одиночки; третий шаг — множество-четверка, объединяющая три предыдущих множества с одиночкой {{{}}},… — и так до бесконечности:

См.также

• Универсум