Cuerpo ordenado

Históricamente, la axiomatización de un cuerpo ordenado fue abstraída gradualmente de los números reales por matemáticos como David Hilbert, Otto Hölder y Hans Hahn.Esto se convirtió posteriormente en la teoría de Artin-Schreier de cuerpos ordenados y cuerpos formalmente reales.Cualquier cuerpo ordenado y completo por Dedekind es isomorfo a los números reales.Los cuadrados son necesariamente no negativos en un cuerpo ordenado.Esto implica que los números complejos no pueden ser ordenados ya que el cuadrado de la unidad imaginaria i es -1.