El nombre del axioma se debe al hecho de que la función formula_131 elige un elemento de cada elemento (conjunto) formula_17 de formula_6.