Total order on complex numbers

The common argument against the existence of a total order on complex numbers that observes the known axioms on real numbers is that 0 < i or 0 < -i. But why? 0 is not even an imaginary number.

There's a possibility of treating ni < -oo for all n in the set of natural numbers, such that we have the real line on the right and the imaginary line on the left, where a comparison operation compares the imaginary part before the real part.

The thing is, both negative numbers and imaginary numbers are not scalars that satisfy the usual axioms of multiplication. Why must imaginary numbers satisfy what even negative numbers cannot satisfy? In order to establish the 2-D complex plane, we just have to see the set of complex numbers as a cross product of 2 sets of real numbers, where the imaginary part comes before the real part, the opposite way of writing a complex number conventionally, namely, ai + b. Well, we've been using cross products to establish multiple dimensions for a long time. I don't see a problem here.

------------ Appendix ------------

Recall that imaginary numbers are derived to be more negative than negative numbers in the first place, namely, i i = -1 and (-1)(-1) = 1. So, it makes intuitive sense to treat them as numbers less than negative infinity. However, I forgot that they also cancel out like real numbers, namely, i + -i = 0 i = 0. The key is to not treat 0 i = 0. The problem is that they are designed to be like real numbers, except for the i sign, which is similar to the - sign.

In any case, I was trying to define an INumber interface, but not being able to compare numbers is really inconvenient. It means that they cannot participate in many known formal verification and optimization techniques. The reason why I ask this question here is that if mathematicians can agree on this definition, it will be easy to adopt it in ISO, IEC and IEEE standards. Of course, I can define anything I want, but who will use my definition? If the new definition works, we will have safer and faster computer programs. It makes perfect economic sense.

I know I can simply try not to use complex numbers at all, but why invent them in the first place? Plus, it's really convenient to express wave functions in terms of complex numbers. Nowadays, what is not a wave in physics and engineering? By the way, we mostly deal with equations and not inequalities or any sort. So, it's not as meaningful as I pitch it here. Anyways.

I will work out the addition requirements before posting another question. Thank you all for your participation.

Answer

Note that the proof does not prove that there is no total ordering of the complex numbers. It is easy to order the complex numbers totally.

What it does prove is that there is no total ordering of the complex numbers which is compatible with their algebraic structure.

You say you want to have both $i<0$ and $-i<0$, but that is not compatible with the algebraic structure. Namely, if we have $i<0$ then adding $-i$ to both sides gives $0<-i$. Since you're asserting $-i<0$ which contradicts this, your ordering doesn't obey the rule

$$ awhich is one of the axioms for an ordered field.