L'axiome du choix, d'une trivialité bénigne pour le non-logicien, perturbe les mathématiciens. Aujourd'hui, il se montre d'une manière étrange : il faut, selon les variantes de l'axiome, soit deux, soit une infinité de couleurs pour résoudre un problème de coloriage !