También tenga en cuenta que necesitamos el axioma de la elección contable para indexar "todos" los conjuntos a, b, c, ...