En un comentario en una de mis respuestas, me afirmó que el grupo abelian generado por un conjunto de $S$ generadores, cada uno de orden dos, podría tomar en cualquier cardinalidad infinita; esto es equivalente a decir que, si dejamos $\mathscr P'(S)$ el conjunto de los subconjuntos finitos de $S$ (con el grupo antes mencionado es equinumerous), entonces, para cualquier infinita cardinalidad $A$, hay un conjunto de la forma $\mathscr P'(S)$ con cardinalidad $A$.
El axioma de elección implica claramente que esto es cierto, porque implica que $A$ $\mathscr P'(A)$ son equinumerous. (Y esto vale para todos los $A$ es claramente equivalente a CA, puesto que implica que la $A\times A$ $A$ son también equinumerous). Sin embargo, cuando no tenemos el axioma de elección, es comprobable que, incluso si $\mathscr P'(A)$ $A$ no equinumerous, aún así debe de existir $S$ tal que $\mathscr P'(S)$ $A$ son equinumerous?
