La jerarquía aritmética es importante en la teoría de recursión, teoría de conjunto descriptivos eficientes, y el estudio de teorías formales tales como aritmética de Peano.