This means that every language in the ELEMENTARY complexity class can be written as a high order formula that is true only for the elements on the language.
Ово значи да сваки језик у елементарно класи комплексностиможе бити написан као формула вишег реда која је истинита само за елементе из језика.