# Axiom of Power Set

What does the axiom of power set add to ZF or ZFC set theory?

https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory

More specifically, it seems that once the axiom of infinity and the axiom schema of specification are used, then all of the elements of the power set of integers, P(N), could exist. If that is true, then wouldn't the axioms of pairing and union ensure that P(N) itself also existed?

P(N) contains many elements that are not computable sets: https://en.wikipedia.org/wiki/Recursive_set

Perhaps the axiom schema of specification could not be relied upon to assert the existence of any element of P(N) that is not computable (because there is no specifying formula)?

So, what is the point of the axiom of power set? It must add something to the other axioms... What elements of P(N) would not exist without the axiom of power set?

Bonus question: Given the existence of P(N), could the axiom schema of specification be used to assert the existence of...:

$$\{ p \in P( \,\mathbb{N}) \, : p \text{ is a computable set} \}$$

...where the formula for determining whether a set is computable is itself non-computable (think halting problem) and may not exist even though it is easily defined? I'm wondering what the limitations are when it comes to formulas that can be used in conjunction with the axiom schema of specification, thinking maybe it allows formulas to be used that literally cannot exist...

• Commented Oct 31, 2017 at 0:15
• Commented Oct 31, 2017 at 0:26
• "If that is true, then wouldn't the axioms of pairing and union ensure that P(N) itself also existed?" Think harder about how you would actually go about proving it using those axioms. Keep in mind two facts: (1) the axiom of union allows you to form the union of a set of sets - not a class. (2) Proofs have to be of finite length. Commented Oct 31, 2017 at 5:53
• Your bonus question is unrelated to your main one, so please ask it in a separate post; otherwise it won't receive proper attention. But I think you're making it too complicated. What formulas can be used with specification? Any first-order formula over $\in$; i.e. any well-formed formula of finite length involving logical symbols, $\forall, \exists, \in$. That is all. Commented Oct 31, 2017 at 5:59

Here is a fun exercise. If you assume all the axioms except power set, then you cannot prove the existence of any uncountable set.

You can do it the hard way, or the smart way, by finding out that there is a model of the theory "$\sf ZFC-Power +\textrm{ Every set is countable}$".

In particular, to answer your question, no, you cannot prove that $\mathcal P(\Bbb N)$ exists. Because even without the power set axiom, you can show that given a countable set of subsets of $\Bbb N$, there is a subset of $\Bbb N$ which is not there. Namely, Cantor's theorem does not require $\mathcal P(\Bbb N)$ to actually be a set, if you formulate it correctly.

• Thank you Asaf. I've found some of your other answers helpful on this site too. You really seem to know your stuff. Commented Oct 31, 2017 at 0:32
• If I assume ZFC - Power only (omitting the every set is countable part), then I assume we still cannot prove the existence of P(N)? I'm not sure why the axiom schema of specification can only create a countable number of subsets of N, unless it can only create computable subsets. Commented Oct 31, 2017 at 0:34
• If you can't prove something from a theory AND extra assumptions, why would you be able to prove it without the extra assumptions? Commented Oct 31, 2017 at 0:35
• I'm not sure I follow... Given the natural numbers and the axiom schema of specification, we can assert the existence of the computable elements of P(N) at least (I believe). Applying Cantor's logic to an enumeration of those computable elements would allow for the creation of a non-computable element not in the list. Still, we're only going to get a countable number of subsets this way... So is it true that the axiom schema of specification can only be used to create computable elements of P(N) given N? Commented Oct 31, 2017 at 0:41
• You have a theory, ZF-Power. I've told you that if you assume more, then you cannot prove something. If you could prove that something without assuming more, then how would that be possible? Commented Oct 31, 2017 at 0:44

The axiom of specification only produces smaller sets than the natural numbers, i.e. sets that are subsets of $\mathbb{N}$ and are therefore members of $\mathcal{P} (\mathbb{N})$. On the other hand, the axiom of infinity only guarantees that some $\aleph_0$ or larger infinite set exists -- it does not help us construct one from a smaller set like the naturals. What the power set axiom guarantees is not that any particular subset of $\mathbb{N}$ exists, but that the set of all these subsets is a set. This is also the axiom which guarantees the existence of a set with cardinality of exactly $2^{\lvert \mathbb{N} \rvert}$.

• There is a perfectly valid formula defining the transcendental reals. In the language of set theory, though, not in the language of fields. And when you talk about specifying subsets, you generally talk about the language of set theory. Commented Oct 31, 2017 at 0:23
• Thank, I wasn't aware. Am I incorrect in saying that a subset can be specified without a formula? Commented Oct 31, 2017 at 0:42
• Well. This is a delicate issue, because specification can have parameters, and those can be impredicative. Namely, you can use a set to specify itself. I've discussed that in length elsewhere, I will find the link. Commented Oct 31, 2017 at 0:43
• Commented Oct 31, 2017 at 0:50
• Thanks, these are very informative. Edited my original post. Commented Oct 31, 2017 at 1:03