Perhaps better would be to say that traditional math studies structures constructed from countable building blocks (and we don't care so much whether the result

Perhaps better would be to say that traditional math studies structures constructed from countable building blocks (and we don't care so much whether the result is countable or uncountable). In contrast with CS, where the building blocks are finite, and the resulting structures can be large finite or infinite, which in practice only matters a little.