You don't need the axiom of choice for the countable case, which is all that's required for computer science.