Axiom:Axiom of Powers/Class Theory

From ProofWiki
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

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