[ceceron]

The number of symbols in the language may countable, but the number of sets of symbols will be indeed uncountable, i.e. AFAIR the number of sets of natural numbers is uncountable — you can even construct real numbers as sets on rational (still countable) numbers.

[drdeca]

The set of all sets of natural numbers is uncountable, but the set of all finite sets of natural numbers, is countable.

[ceceron]

True, that's why I haven't used 'finite' in my comment.

Apparently I've missed that the parent referred to the finite collections and in fact was wrong making my previous comment misplaced. Thanks for pointing it out :)