Searching for links to CountableSet:
AlgebraicNumber
Banach-TarskiParadox
Cantor
CantorVisitsHilbertsHotel
ContinuumHypothesis
Countable
CountablyInfinite
GeorgCantor
Infinity
RationalNumber
TransfiniteNumbers
UncountableSet