Initial ordinals and Axiom of Choice This pertains to Prop. $5.14$ and Theorem $5.15$ in Roitman's "Intro to Set Theory," page $68$. https://www.math.ku.edu/~roitman/SetTheory.pdf
What is the difference between these two statements? (Are they not the same, setting $\alpha=x$?). 
And why does only the latter entail choice? The proof of the second states one needs the least ordinal with $|x|=|\alpha|$, but do you not need this - finding a least ordinal - in the first?
$5.14$ says:


$\forall\alpha$ an ordinal, $\exists\kappa$ an initial ordinal with $|\alpha|=|\kappa|$


and $5.15$ says:


AC [Axiom of Choice] iff $\forall x\exists\kappa$ $\kappa$ is an initial ordinal and $|x|=|\kappa|$


Thanks
 A: It might be better to write them in a bit plainer English: the first is

"Every ordinal is in bijection with some initial ordinal,"

while the second is

"Every set is in bijection with some initial ordinal."

Since there are lots of sets which aren't ordinals, in principle there's no reason for the first statement to imply the second. Indeed, to get from the first statement to the second statement we would need to prove

"Every set is in bijection with some ordinal,"

and this is the Well-Ordering Theorem, which is equivalent to the axiom of choice.

You also ask why the first statement is provable in ZF, since you need to pick the least ordinal with a certain property. Well, the point here is not every choice requires the axiom of choice! In ZF alone, we can prove that every set of ordinals has an $\in$-least element; in particular, every ordinal $\alpha$ is in bijection with the least ordinal in the set $\{\beta:$ there is a bijection from $\alpha$ to $\beta$$\}$, which exists by the fact above, and this ordinal is clearly an initial ordinal.
If you haven't yet proved "Every set of ordinals has an $\in$-least element" in ZF, you should try to do that.

Interesting side note: the well-ordering theorem says "every set is in bijection with some well-ordered set." To get from this to "every set is in bijection with some ordinal," we need to prove "every well-ordered set is in bijection with some ordinal." The proof of this fact uses transfinite recursion, which requires the axiom scheme of Replacement.
A: The second one doesn't require $x$ is an ordinal. The fact that any set is equinumerous to some ordinal or cardinal is equivalent to AC, while the fact that any ordinal is equinumerous to an ordinal follows from ZF.
A: You don't need the axiom of choice in the first. The set of ordinals $\beta$ such that $|\beta| = |\alpha|$ is nonempty and thus has a least element (no choice required here... the ordinals are well-ordered by definition). Then you can show that this least element is initial.
