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

To be fair, ordinals are part of set theory. So the OP was talking about set theory too, even though he didn't realize it.

And the concepts here aren't really difficult. It's just that P進大好きbot used math symbols instead of English, and these tend to make things look far scarier than they really are.

This is why I, personally, try to give verbal explanations instead of using formulas, whenever possible. The concepts are exactly the same, but english is much easier to read :-)

At any rate, the biggest problem with P進大好きbot's post is that his first line is already suspect. He wrote:

"The existence of the largest ordinal number is unprovable under ZFC"

Which is a very strange thing to say regarding something that is logically impossible (a "largest ordinal"). You cannot have a "largest ordinal" for the exact same reason that you cannot have a "largest (finite) number": You can always add 1.