 Solution

For cardinals, $\kappa <\lambda$ means that there is an injection $\kappa \to \lambda$ but no bijection. Under the axiom of choice, every set is well-orderable, so every infinite cardinal is the initial ordinal ${\aleph }_{\alpha }$ for a unique ordinal $\alpha$. Cantor theorem givesand minimality of the successor cardinal givesThe strict inequality ${\aleph }_{\alpha +1}<2^{{\aleph }_{\alpha }}$ printed in the conversion is not provable and can be false under the generalized continuum hypothesis; the intended symbol must be $\le$.