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.