Skip to main content
3 of 19
deleted 23 characters in body
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Proper classes in Morse-Kelley set theory

Can there be a model of "$MK-Limitation$ $of$ $size+Subsets-Union$" having every proper class strictly smaller than the class $V$ of all sets being equinumerous to a 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