Searching for links to CountableSet:
AllPages
Countable
CountableSets
ProofInATweet
RationalNumber