axiom_of_power_set.tex

\forall A\,\exists P\,\forall B\,\left\lbrack B \in P \Leftrightarrow \forall C\,(C \in B \Rightarrow C \in A) \right\rbrack