1 Jan
2015
1 Jan
'15
9:39 a.m.
On Thu, Jan 01, 2015 at 03:37:09PM +0100, Atze van der Ploeg wrote:
This boils down to the question whether on each set with an equality relation defined on it a total ordering (consistent with the equality relation) can also be defined.
I agree with the essence of this restatement.
One counterexample is the complex numbers.
This is what I don't understand. The complex numbers can be totally ordered. (Not in a way compatible with the field structure, but that's beside the point).