L'axiome du choix dénombrable, noté ACω, est un axiome de la théorie des ensembles qui stipule que tout ensemble dénombrable d'ensembles non vides doit avoir une fonction de choix, c'est-à-dire que pour toute suite d'ensembles non vides, il existe une fonction f définie sur N telle que f ∈ A pour tout n ∈ N. Wikipedia