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.