Jerarquía Aritmética

Una estratificación de predicados y fórmulas sobre los números naturales según el patrón y número de alternancias de cuantificadores de primer orden; las clases Σ_n, Π_n y Δ_n clasifican la definibilidad y decidibilidad en aritmética de primer orden.