Beta Phase:
Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45
English
Français
العربية
Deutsch
🏠
/
Mathematics
/
Set Theory
/
Axiom of power set
Axiom of power set
For any set, there exists a set containing all its subsets.
📜
The statement of the theorem
∀
x
∃
y
∀
z
(
z
⊆
x
⟹
z
∈
y
)
\forall x \exists y \forall z (z \subseteq x \implies z \in y)
∀
x
∃
y
∀
z
(
z
⊆
x
⟹
z
∈
y
)
.