Formally real field

Summary

A formally real field is a field in which $-1$ is not a sum of squares. By a theorem of Artin and Schreier, these are exactly the fields that admit an ordering. They are the setting of real algebra, which studies the real numbers through algebraic properties alone.