Definition:Universal Class/Notation

From ProofWiki
Jump to navigation Jump to search

Universal Class: Notation

The use of $V$ as the symbol used to denote the universal class follows the presentation by Raymond M. Smullyan and Melvin Fitting, in their Set Theory and the Continuum Problem.


Much of the literature uses $U$ and its variants, for example $\Bbb U$.

However, as $U$ is often used to denote the universal set, $\mathsf{Pr} \infty \mathsf{fWiki}$ prefers to use $V$ for the universal class in order to reduce confusion between the two.


The symbol $\mathfrak A$ is also seen in older literature; however, the number of those who still like using this awkward and difficult-to-read Germanic font is decreasing.