En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l`ensemble N des entiers naturels définissables dans le langage du premier ordre de l`arithmétique de Pean...