Ningún grupo incontable (esto es, de cardinalidad estrictamente mayor que la de Z) puede ser finitamente generado.