Talk:Complex Numbers cannot be Ordered Compatibly with Ring Structure

I think I added many details instead of drastically changing the framework of the proof... --kc_kennylau (talk) 06:09, 11 December 2016 (EST)


 * Difficult to tell. The first proof is more readable and can be followed easily. The structure and direction of the new one are unclear. --prime mover (talk) 06:20, 11 December 2016 (EST)


 * The problem is that the first statement of this proof is not yet demonstrated. In fact it is a combination of the antisymmetry of ordering and compatibility with addition. --kc_kennylau (talk) 06:22, 11 December 2016 (EST)


 * I'm inclined to agree with Kennylau on this one. If we keep the original version, we have to make it clear exactly what the contradiction is. --GFauxPas (talk) 06:45, 11 December 2016 (EST)