User:Dfeuer/Power Set Axiom

Axiom
Let $a$ be a set.

Then $\mathcal P(a)$, the power set of $a$, is a set.