I think this is a typo: > aleph-0, which is the cardinality of the set of real numbers. aleph-0 is the cardinality of the set of natural numbers, and (as you

I think this is a typo: > aleph-0, which is the cardinality of the set of real numbers. aleph-0 is the cardinality of the set of natural numbers, and (as you say) is not the cardinality of the real numbers.