Skip to main content
1 of 19
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Proper classes in Morse-Kelley set theory

Can "$MK-Limitation$ $of$ $size+Subsets-Union$" prove the existence of a proper class that is strictly smaller than the class $V$ of all sets and yet is equinumerous to some set?

Where $MK$ is $Morse$-$Kelley$ set theory, and $Subsets$ is the axiom asserting that every subclass of a set is a set.

Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47