[FOM] Extension of well-founded relation well-ordering

Gert Smolka smolka at ps.uni-saarland.de
Tue Feb 10 01:56:26 EST 2015

Consider the following statement:

Let X be a set with a choice function.  Then every well-founded relation on X can be extended to a well-ordering of X.

Is there a proof of the statement in the literature?

I would expect that a proof of Zermelo's theorem can be extended to a proof of the statement.

Gert Smolka

More information about the FOM mailing list