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.