# Axiom:Axiom of Powers/Class Theory

Jump to navigation
Jump to search

## Axiom

Let $x$ be a set.

Then its power set $\powerset x$ is also a set.

## Also known as

The **axiom of powers** is also known as the **axiom of the power set**.

## Sources

- 2010: Raymond M. Smullyan and Melvin Fitting:
*Set Theory and the Continuum Problem*(revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory: $\S 6$ The power axiom

*although there exists a misprint: it is referred to as the***Power aet axiom**.