Jerarquía analítica

En lógica matemática y teoría descriptiva de conjuntos, la jerarquía analítica es un análogo de alto nivel de la jerarquía aritmética. Por lo tanto constituye la clasificación de los conjuntos mediante las fórmulas que los definen.La jerarquía analítica es importante en teoría de la demostración y aritmética de segundo orden, entre otros campos.