Аксиома схемы замены
Схема замены аксиомы Аксиома замены аксиом Цермело-Френкеля позволяет заменять элементы множества на другие элементы или множества. Схема замены аксиом является […]
Вики
Axioms of set theory
Вики
Аксиома союза
Аксиома объединения Аксиома объединения является одной из аксиом аксиоматической теории множеств Цермело-Френкеля. Аксиома гласит, что для каждого множества x существует
Вики
Аксиома регулярности
Аксиома регулярности Аксиома Цермело – это аксиома, утверждающая, что каждое множество имеет основание. Основание множества – это множество, которое содержит
Вики
Аксиома набора мощности
Аксиома набора степеней Аксиома степенного множества является одной из аксиом аксиоматической теории множеств Цермело-Френкеля. Она гарантирует существование множества, содержащего все
Вики
Аксиома парности
Аксиома спаривания Аксиома спаривания в теории множеств Цермело-Френкеля утверждает, что для любых двух множеств существует множество, содержащее их элементы. Аксиома
Вики
Аксиома ограничения размера
Аксиома ограничения размера Аксиома выбора утверждает, что для любого множества существует выборка, содержащая не менее одного элемента из каждого непустого
Вики
Аксиома бесконечности
Аксиома бесконечности Аксиома бесконечности утверждает существование бесконечного множества. Аксиома бесконечности является одной из аксиом теории множеств. Аксиома бесконечности позволяет количественно
Вики
Аксиома детерминированности
Аксиома детерминированности Аксиома детерминированности утверждает, что каждое событие имеет определенную причину и следствие. Аксиома детерминированности связана с непротиворечивостью больших кардинальных
Вики
Аксиома конструктивности
Аксиома конструктивности Аксиома конструктивности утверждает, что каждое множество является конструктивным. Эта аксиома имеет важное значение для доказательства относительной согласованности аксиомы
Вики
Аксиома глобального выбора
Аксиома глобального выбора Аксиома глобального выбора является более сильным вариантом аксиомы выбора в теориях классов. Функция глобального выбора позволяет выбрать
Вики
Аксиома присоединения
Аксиома присоединения Аксиома присоединения в математической теории множеств утверждает существование множества w = x ∈ {y} путем присоединения множества y
Вики
Аксиома экстенсиональности
Аксиома экстенсиональности Аксиома расширяемости утверждает, что два множества равны, если они имеют точно одинаковые члены. Аксиома может быть использована для