Because every formula is equivalent to a formula in prenex normal form, every formula with no set quantifiers is assigned at least one classification.
Зато што је свака формула еквивалентна формули у Пренекс нормалном облику, свакој формули без постављених квантификатора је додељена најмање једна класификација.