# Axiom:Axiom of Countable Choice/Form 2

## Axiom

Let $S$ be a countable set of non-empty sets.

Then $S$ has a choice function.