The potency axiom asserts that the
class of all subsets of any set is itself
represented by a set, usually called the first set's "power set".
The potency axiom is pretty much universally acceepted in
formal systems of set theory; it is not controversial like the
axiom of choice or the
continuum hypothesis.