Concerning a proof of $\aleph_{\alpha+1}\leq 2^{\aleph_\alpha}$ without axiom of choice.
(English).Commentationes Mathematicae Universitatis Carolinae,
vol. 6
(1965),
issue 1,
pp. 111-113
[1] K. GÖDEL: The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory. Annals of Math. Studies 3, Princeton 1940. MR 0024870
[2] A. LÉVY: A generalization of Gödel's notion of constructibility. The Journ. of Symb. Log. 25 (1960), No 2. MR 0142468 | Zbl 0119.25204