Suppose that is infinite and the collection of all such sets is countable.

Then we can give it a name,, .j

Each subset of the integers is countable, so we can name each element .

Thus is the tenth element in the fourth set.

Now we have the ideal setup for a ‘diagonal argument’.