I don’t know what it means to care about the existence of the smallest uncountable ordinal (as opposed to caring that this existence can be proved in ZF, or cannot be refuted in second-order arithmetic, or something like that). Can we taboo “smallest uncountable ordinal” here?
I don’t know what it means to care about the existence of the smallest uncountable ordinal (as opposed to caring that this existence can be proved in ZF, or cannot be refuted in second-order arithmetic, or something like that). Can we taboo “smallest uncountable ordinal” here?