Axiom:Axiom of Powers

From ProofWiki
Jump to: navigation, search

Axiom

For every set, there exists a set of sets that contains amongst its elements all the subsets of the given set.

$\forall x: \exists y: \left({\forall z: \left({z \in y \iff \left({w \in z \implies w \in x}\right)}\right)}\right)$


Also known as

Otherwise known as the Axiom of the Power Set.


Also see


Sources