Searching for links to UncountableSet:

• ContinuumHypothesis
• CountableSet
• GeorgCantor
• TransfiniteNumbers
• ZornsLemma