Axiom:Axiom of Transitivity

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $V$ be a basic universe.

$V$ is a transitive class.


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


Briefly:

Every set is a class.


Sources