- #1

- 675

- 4

Axiom. Given any set

*x*, there is a set

*z*, this set

*z*is a member of

*z*is also an element of

*x*.

Why is this needed as an axiom? why isn't it merely a definition? Under what situation would the existence of the power set be in question? seems like it can always be constructed.