算數階層

算術階層是遞歸論或可計算性理論中的概念 ， 將自然數的子集按照定義它們的公式的複雜度分類 。