# Category:Axioms/Axiom of Powers

This category contains axioms related to Axiom of Powers.

### Set Theory

For every set, there exists a set of sets whose elements are all the subsets of the given set.

$\forall x: \exists y: \paren {\forall z: \paren {z \in y \iff \paren {w \in z \implies w \in x} } }$

### Class Theory

Let $x$ be a set.

Then its power set $\powerset x$ is also a set.

## Pages in category "Axioms/Axiom of Powers"

The following 4 pages are in this category, out of 4 total.