Quina temàtica explora el text?
En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus d'elements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen. Els conjunts classificats s'anomenen aritmètics.La jerarquia aritmètica és important en la teoria de la recursió, en la teoria descriptiva de conjunts efectiva, i en l'estudi de teories formals (com per exemple l'aritmètica de Peano). L'algorisme de Tarski-Kuratowski permet obtenir fàcilment una fita superior per a la classificació dels conjunts aritmètics. La jerarquia hiperaritmètica i la jerarquia analítica són extensions de la jerarquia aritmètica que permeten classificar més conjunts.
El text tracta sobre matemàtiques.