User blog comment:Eners49/A whole new superclass of infinities?/@comment-35470197-20180722021627/@comment-162.238.217.96-20180723215009

"Slaps roof of ZFC" This bad boy can only fit up to the largest ordinal provable under ZFC. After that is the smallest ordinal unprovable under ZFC.