diejenige Klasse, die genau alle Mengen enthält. Die formale Definition der Allklasse V lautet \begin{eqnarray}\text{V:}=\{x:x=x\},\end{eqnarray}

sofern vereinbart ist, daß die Variable x über alle Mengen läuft (Axiomatische Mengenlehre).