Is the single large ordinal which must be well-ordered uncountable? I had figured that simply unbounded was good enough for this application.
Is the single large ordinal which must be well-ordered uncountable? I had figured that simply unbounded was good enough for this application.