Searching for links to CountableSet:
Banach-TarskiParadox
ContinuumHypothesis
GeorgCantor
RationalNumber
TransfiniteNumbers
UncountableSet