Axiom:Axiom of Swelledness

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $V$ be a basic universe.

$V$ is a swelled class.


That is, every subclass of a set which is an element of $V$ is a set in $V$.


Briefly:

Every subclass of a set is a set.


Also see

  • Results about the Axiom of Swelledness can be found here.


Sources