# Well-foundedness of cardinals and the axiom of choice

Without axiom of choice it is not generally true that the class of all cardinal (in this question we consider Scott cardinal rather than cardinals as ordinals) is not well-founded under the ordinary cardinality comparison. However, we also know that assuming well-foundedness of such ordering causes no consistency problem.

Under ZF with the assumption, we can prove every infinite set is Dedekind-infinite as follows: for infinite set $X$, consider the collection of cardinals $$\mathcal{A} = \{|A| : A\subseteq X \text{ and A is infinite}\}.$$ From assumption, $\mathcal{A}$ is well-founded. If $|B|$ is a minimal element, then $B$ should be Dedekind-infinite, since $|B|-1 = |B|$. (where $|B|-1$ is a cardinality of the set $B$ except one element in $B$.)

I wonder we can prove more stronger result; for example, axiom of choice follows from that the class of cardinals are well-founded? I would appreciate your answer.

-
In ZF the assertion that "there is no strictly decreasing infinite sequence of cardinals" seems to be weaker than "every nonempty set of cardinals has a minimal element" (is it really weaker?), and the weaker assertion is enough to prove that every infinite set is Dedekind-infinite. In other words, given a Dedekind-finite infinite set, you can easily (and choicelessly) define a strictly decreasing infinite sequence of cardinals. – bof Feb 22 at 8:36

It was shown that for every $\kappa$, $\sf DC_\kappa$ cannot prove that the cardinals are well-founded. While not enough to conclude the principle is equivalent to the axiom of choice ($\sf BPI$ does not follow from $\sf DC_\kappa$ either), it is worth remarking that we really don't know much about this principle.