Алгебра ва сонлар назарияси (чизиқли алгебра)

ифоданинг ҳар қандай лар учун манфий бўлмаслигини ҳамда бўлгандагина нолга айланишини талаб қиламиз.

Агар (3) формула билан аниқланадиган бир жинсли кўпҳад («квадратик форма») фақат манфий бўлмаган қийматларни кабул қилса ва ларнинг ҳаммаси нолга тенг бўлгандагина нолга айланса, у мусбат аниқланган квадратик форма дейилади. Демак, 4⁰ аксиома (3) квадратик форманинг мусбат аниқланган бўлишини талаб қилади.