Arithmetical Hierarchy

A stratification of predicates and formulas about natural numbers by the pattern and number of alternating first-order quantifiers; classes are usually denoted Σ_n, Π_n and Δ_n and classify definability and decidability in first-order arithmetic.