The SlugMath Wiki is under heavy development!
Def/Russell predicate
From SlugmathWiki
Definition of Russell predicate: The Russell predicate, named after Bertrand Russell's paradox, is the unary predicate $\Phi(x)$ given by the wff "$x \not \in x$".
It defines the "class of sets which are not elements of themselves". This is an example of a "proper class", i.e., a class which is not a set.
Logical Connections
This definition logically relies on the following definitions and statements:
The following statements and definitions logically rely on the material of this page: Def/Class
To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Logic and foundations
