Why do we want the Axiom of the Power Set?

Solution 1:

The power in the power set axiom is the ability to create larger sets than any other axiom is capable of. At least we want it because we probably want $\mathbb R$ (to be a set).

The other axioms doesn't seem to be strong enough to guarantee the existence such large set (larger than $\mathbb N$).

Note that dropping an axiom would not make it (automatically) false, because if it could be proven to be false when dropped we could use the same proof in a set theory where we don't drop it - and thereby get a contradiction.

In order to get a set theory where we're guaranteed to have a set without a power set we would actually have to replace the axiom of power set with it's negation (saying that there's a set without a power set). The possibility to do so without contradiction requires that the axiom is independent of the others (that is it can't be proven from the other).

To see what the axioms are able to produce out of the set we supply (that is what we already have) let's pick them one by one:

Axiom of Extensionality: Doesn't guarantee any existence at all (it's only stating a relation between supplied sets).

Axiom of Regularity: It hardly produce anything new, it only guarantee properties of the sets inside any set.

Axiom schema of Specification: It will only produce smaller sets, the produced set is a subset (with elements having the property) of the supplied set.

Axiom of Pairing: It will produce sets of size one or two given a supplied set.

Axiom of Union: It will produce the union of supplied sets, this will at most have cardinality of the outer set multiplied with the highest cardinality of the contained set. At most we can square cardinalities by this.

Axiom schema of Replacement: It will produce a set of lower cardinality, however the cardinality of it's element can be any cardinality we can construct. This means we can't increase cardinality in any way here.

Axiom of infinity: This is allowed to produce an infinite set out of nothing. Not only can we create an infinite cardinality, but we also can create sets which can be supplied to the other axioms. No particular infinity are not specified in the axiom, just that it has at least cardinality $\aleph_0$.

Well ordering axiom: This can construct a total order on a set. The cardinality of a total order on $A$ is $|A|(|A|+1)/2$. At infinite cardinalities this means squaring the cardinality.

Axiom of Power set: This will create power sets of any set $A$ which has the cardinality $2^{|A|}$.

Solution 2:

We want sets to model the idea of "mathematical objects which are collections of mathematical objects". And our naive understanding is that if $X$ is a set, then there is a collection of all the subsets of $X$. And even in set theories without the power set axiom, we can still talk about such a collection, since it defines a class.

Now we go back to finite sets, and we notice that every finite set has a power set, since we can literally write down this power set for very small sets, and prove inductively that if a set with $n$ elements has a power set, then under very mild assumptions, a set with $n+1$ elements will have a power set as well (these assumptions include union of two sets is a set; basic separation axioms; and very basic Replacement axioms in the finitary case (i.e., if we defined a function on a finite set, the image is a set as well)).

So if finite sets have a power set, why shouldn't infinite sets have a power set? I mean, it's a collection of objects and we can refer to this collection.

Now, if we consider the fact that the power set axiom is a powerful and useful axiom which provides us with the set of real numbers, and with Cartesian products, and with the set of functions from $\Bbb N$ to $\Bbb R$, which itself gives us all sort of useful sets like $\ell_2$... well, this is a good thing, then.

You could argue, though, I don't care about these sets which are mentioned above. I just care about these collections. But mathematical foundations using set theory, which is a fairly common and fairly useful form of mathematical foundation, deals with objects in the universe and these objects are sets. So when you want to assert that $\ell_2$ exists, you essentially assert that it is a set. So in that case, you should care about this.

Of course, there are alternative set theories, e.g. Pocket set theory, which do not have the power set axiom and in which the real numbers form a proper class. And sure, you can still talk about the real numbers, and develop a bunch of analysis just fine. But there is a problem now. Every time you want to talk about theorems about the real numbers, you need to refer to your meta-meta-theory (since Pocket set theory is now your meta-theory), and you need to start paying much more attention to that one. And that is a big hindrance in the common workflow of most mathematicians.