Without Foundation, can axiom of choice be derived from $\forall\alpha\in\mathbf{Ord} (P(\alpha)\text{ can be well ordered})$? In $ZF$ without the Axiom of Foundation , can the axiom of choice(AC) be derived from the statement that the power set of every well ordered set can be well ordered(P)?
With Foundation, we can prove this from the fact that the universe is $\bigcup\{V_{\alpha}: \alpha\in\mathbf{Ord}\}$, where $\mathbf{Ord}$ denotes the class of all ordinals and for all $\alpha$, $V_{\alpha}=\bigcup_{\beta\lt\alpha} P(V_{\beta})$; so by induction on $\alpha$, $V_{\alpha}$ can be well-ordered under the assumption of P.
But I don't know whether AC can be proved from P without the axiom of foundation. Is the axiom of foundation necessary?
 A: I don't think it works with just ZF minus foundation ($\mathbf{ZF}^-$).  To get your choice function (which you only know to work in the wellfounded part of the universe) to work in illfounded part, you would require a version of Coret's axiom

Every set has the same size as a wellfounded set

(or something similar) which is not a theorem of $\mathbf{ZF}^-$.
A: It is impossible to prove this implication without the axiom of regularity. The proof is given in Lemma 9.4 of Jech's Axiom of choice.
Jech uses the ordered Mostowski model to separate the well-ordering principle for $\mathcal{P}(\alpha)$ and that every linearly orderable set is well-orderable (which is a consequence of the axiom of choice.)
However, taking any permutation model works to separate the well-ordering principle for $\mathcal{P}(\alpha)$ and the axiom of choice, as Jech observed in his book.
Here it is why: If $\alpha$ is an ordinal, then every subset of $\mathcal{P}(\alpha)\times \mathcal{P}(\alpha)$ is hereditarily symmetric (since it contains no atoms.) Especially, every well-order of $\mathcal{P}(\alpha)$ is still hereditarily symmetric.
(Note that we assume the axiom of choice for the ground model. The point is that we do not know there is a hereditarily symmetric well-order of any given set.)
As a corollary, we may have an amorphous set or Russell socks set, while every power set of an ordinal is still well-orderable.
