Is there an axiom of ZFC expressing that GCH fails as badly as possible?
Solution 1:
Note that there is no "largest possible distance" between even $\aleph_0$ and $\mathfrak{c} = 2^{\aleph_0}$. It is an old result that as long as $\aleph_\alpha$ has uncountable cofinality, then it is relatively consistent with $\mathsf{ZFC}$ that $\mathfrak{c} = \aleph_\alpha$. As every infinite successor cardinal has uncountable cofinality, this implies that there is no bound on the number of cardinals strictly between $\aleph_0$ and $\mathfrak{c}$.
Easton's Theorem goes even further, and says that except for certain basic restrictions, the function $\aleph_\alpha \mapsto 2^{\aleph_\alpha} = \aleph_{G(\alpha)}$ restricted to the regular cardinals can be pretty much arbitrary. (As Andrés Caicedo notes in his comment below, under the assumption of certain large cardinal hypotheses, the arbitrariness is further restricted. As a basic example, the least (infinite) cardinal at which $\sf{GCH}$ fails cannot be measurable.)
The answers to these questions might also be of interest:
- A problem with Cantor's continuum hypothesis
- Counterexamples to the continuum hypothesis
Solution 2:
Let me [partially] address your edit, as the original question was well addressed by Arthur in his answer.
We start with a model of $\sf ZFC+GCH$. Consider the function defined for regular $\kappa$ as $F(\kappa)=\min\{\lambda\mid\lambda=\aleph_\lambda\land\operatorname{cf}(\lambda)>\kappa\}$, then this function satisfies the requirements of Easton's theorem. Therefore there exists a model of set theory such that for every regular $\kappa$ it holds:$$2^\kappa=F(\kappa)=\aleph_{F(\kappa)}=\aleph_{2^\kappa}.$$
It's not hard to see that the gap between $\kappa$ and $2^\kappa$ contains $2^\kappa$ cardinals, and in fact the gap itself is unbounded.
On the axiom of choice side of events, Truss showed that if there exists $\alpha$ such that for every $X$, $\alpha$ cannot be embedded into the cardinals between $X$ and $2^X$, then the axiom of choice holds. That is, a bounded gap between a set and its power set is a strengthening of the axiom of choice, much like $\sf GCH$ is.