Formally real field

A formally real field is a type of field in mathematics that adheres to certain properties regarding sums of squares. Specifically, a field \( K \) is said to be formally real if it does not contain any non-negative elements that cannot be expressed as a sum of squares of elements from \( K \).