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