ℝ is a proper class.
-
-
-
Replying to @benzrf
In classical set theory, X is a proper class is for every level of the von Neumann hierarchy, there is an element of X beyond that level. This is reminiscent of the fact that for every way of encoding real numbers, you can produce a more expressive way of encoding reals.
1 reply 0 retweets 2 likes
Replying to @ModelOfTheory @benzrf
It's also literally true in the minimal model of Kripke-Platek set theory with infinity.
5:01 PM - 31 Jul 2018
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.