The following question is about if it is compatible to add to $\sf ZF$ an axiom asserting the existence of a countable transitive model of $\sf ZF$ such that for every strictly increasing function $f$ on the ordinals, we have a transitive countable model of $\sf ZF $ satisfying: $$\forall\alpha>0:\beth\_\alpha = \aleph\_{f(\alpha)}$$


Formally:


$ \exists M: M \equiv \operatorname {CTM}(\mathsf {ZF}) \land \forall f \subseteq M \ \big{(}\\f: \operatorname {Ord}^M \to \operatorname {Ord}^M \land \forall \alpha \forall \beta \, ( \beta > \alpha \to f(\beta) > f(\alpha) ) \\ \implies \\ \exists N : N \equiv \operatorname {CTM}(\mathsf {ZF}) \land \operatorname {Ord}^N =\operatorname {Ord}^M \land (N \models \forall \alpha > 0 : \beth\_\alpha=\aleph\_{f(\alpha)})\big{)} $


Where "$\equiv\operatorname {CTM}(\mathsf {ZF})$" means "*is a countable transitive model of ZF*"


So this is to say that the generalized continuum hypothesis can fail everywhere and in everyway.



Can GCH fail everywhere every way?
No. An early nontrivial constraint on the $\beth$ function comes from Kőnig's Theorem, that for all infinite $\kappa$, $\mathrm{cf}(2^\kappa)>\kappa$. This implies that we cannot have $\beth\_\alpha = \aleph\_{f(\alpha)}$ for all $\alpha$, when $f(1) = \omega$, nor when $f(\omega+1)$ is a cardinal below $\aleph\_\omega$.


Another constraint is Silver's Theorem, that if GCH holds below a singular of uncountable cofinality, then it holds at that singular as well.


Other constraints come from Shelah's PCF theory. Shelah showed that if $\aleph\_\omega$ is a strong limit, then $2^{\aleph\_\omega} < \aleph\_{\omega\_4}$.


