The SlugMath Wiki is under heavy development!

# Def/Russell predicate

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