If one uses classical logic there are even many countable, even finite sets which are beyond computable distinction. The set of computable functions on say natural numbers is a countable set, but even distinguishing when two such are equal cannot be effectively done.

The solution is either to distinguish between countable and enumerable and decidable, or to use intuitionistic logic.