Аксиома набора степеней
- Аксиома степенного множества является одной из аксиом аксиоматической теории множеств Цермело-Френкеля.
- Она гарантирует существование множества, содержащего все подмножества, которые существуют.
- Аксиома расширяемости утверждает, что множество P(x) уникально.
- Отношение подмножества ⊆ определяется в терминах установленного членства, ∈.
- Аксиома степенного множества позволяет определить декартово произведение двух множеств.
- Не все мыслимые подмножества гарантировано существуют, и в других моделях теории множеств ZF могут содержаться множества, которые не являются конструктивными.
Полный текст статьи: