Without Foundation, can axiom of choice be derived from $\forall\alpha\in\mathbf{Ord} (P(\alpha)\text{ can be well ordered})$?
Without appealing to choice, can we prove that if $X$ is well-orderable, then so too is $2^X$?