12 years of Python and only at v2.2

[Gonçalo Rodrigues]

On Fri, 6 Dec 2002 15:06:08 GMT, Michael Hudson <mwh at python.net> wrote:

>Gonçalo Rodrigues <op73418 at mail.telepac.pt> writes:
>
>> Sorry for nitpicking, but assuming ZFC *every* nonempty set can be
>> well-ordered. The question is, as always, if that order relation is
>> useful for anything. It is hard to imagine such a well order in the
>> complex numbers, though...
>
>There's more to an ordered field than the field axioms and a total
>order: the two structures have to be compatible.  This is the part

Right

>that fails for the complex numbers.  (Also, you hardly need the axiom
>of choice to construct a total order on the complex numbers...).

Total order, no, but for well orders (every non-empty subset has a
minimum) probably yes...

>
>Cheers,
>M.

With my best regards,
G. Rodrigues