User:Dfeuer/Power Set Axiom
Jump to navigation
Jump to search
Axiom
Let $a$ be a set.
Then $\mathcal P(a)$, the power set of $a$, is a set.
Let $a$ be a set.
Then $\mathcal P(a)$, the power set of $a$, is a set.