La jerarquía analítica es importante en teoría de la demostración y aritmética de segundo orden, entre otros campos.