The SlugMath Wiki is under heavy development!
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.
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