The universal class / universe is the class of all sets:
\[\V = \{x:x=x\}.\]
$\V$ is a proper class.
Proof.Since $\V=\V$, $\V\in\V$, contrary to ZF#PROP-SLF.
The universal class / universe is the class of all sets:
\[\V = \{x:x=x\}.\]
$\V$ is a proper class.
Proof.Since $\V=\V$, $\V\in\V$, contrary to ZF#PROP-SLF.