Category:Axiom of Powers
Jump to navigation
Jump to search
This category contains results about 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.
Pages in category "Axiom of Powers"
This category contains only the following page.