Which axiom shows that a class of all countable ordinals is a set? As stated in the title, which axiom in ZF shows that a class of all countable (or any cardinal number) ordinals is a set?
Not sure which axiom, that's all.
 A: Each countable (= countably infinite) ordinal can be realized as a well-ordering of $\omega$ in at least one (actually uncountably many, but that is irrelevant) way, so the set of countable ordinals can be made by applying Replacement to $\mathcal P(\omega\times\omega)$ and a formula that produces the order type of its input if the input is a well-ordering and $\omega$ otherwise.
A: Every countable ordinal can be order embedded in $\mathbb{R}$. So the set of all countable ordinals can be identified with a subset of $2^{\mathbb{R}\times\mathbb{R}}$. So you can construct it from $2^{\mathbb{R}\times\mathbb{R}}$ using comprehension and replacement.
A: As Asaf pointed out in the comments, the "which axiom" part of the question does not have any obvious formal meaning, but I think it does have some kind of meaning so I will try to answer it.  I think it makes sense to attribute the theorem "the class of countable ordinals is a set" primarily to the axioms of power set and replacement even though some other axioms are necessarily involved in the proof.  This is because to me the most natural models of fragments of ZFC where the theorem does not hold are $V_{\omega+\omega}$ (sets of rank $<\omega+\omega$) and $H(\omega_1)$ (hereditarily countable sets) and these models satisfy all of the ZFC axioms except for the replacement axiom and the power set axiom respectively.
A: A combination of them, actually. The proof I've seen requires power set and replacement, and I think union or pairing, too, but I can't recall off the top of my head. I can post an outline of that proof, if you like.
