12 years of Python and only at v2.2

[Michael Hudson]

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
that fails for the complex numbers.  (Also, you hardly need the axiom
of choice to construct a total order on the complex numbers...).

Cheers,
M.

-- 
  Slim Shady is fed up with your shit, and he's going to kill you.
                         -- Eminem, "Public Service Announcement 2000"