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’.