The scheme that classifies sets of natural numbers on the basis of the complexity of the prenex normal forms of formulae in the language of arithmetic by which they may be described. For example, if a set $S\subseteq \mathbb{N}$ is the collection of natural numbers that satisfy a ${\text{Π}}_2$ formula, then it is said that $S$ is ${\text{Π}}_2$.