User blog comment:MachineGunSuper/The Infinity Generator/@comment-31663462-20180114193521

Nitpick: you probably want to say $$\aleph_\omega$$ instead of $$\aleph_{\aleph_0}$$.