> > Look: Zermelo has "proved" that the real numbers can be well-ordered. But it has been proved that the real numbers in fact cannot be well-ordered. That is as certain as that you cannot get a 13 with two dice.
I think you're confusing two different results. There are models of ZFC in which a well-ordering is a not definable. That does not mean that R cannot be well ordered, it just means that if phi(x,y) is the ordering relation, phi is not a formula of ZFC.
-- I think I am an Elephant, Behind another Elephant Behind /another/ Elephant who isn't really there.... A.A. Milne