Formally real field
= Formally real field
{wiki=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 \\).