Here's the problem:
Let A be the set of infinite-length binary strings that have a finite number of 1s. For example, the string 001110101011110000100110000000000... has all 0s after the twelfth 1 and thus is an element of A. Is the set of A countable or uncountable?
A set is countable if it corresponds with a function whose codomain is the set and whose domain is the set of natural numbers. I don't understand how to proceed from here.