算術的階層
X {\displaystyle X} が Σ n 0 {\displaystyle \Sigma _{n}^{0}} にも Π n 0 {\displaystyle \Pi _{n}^{0}} にも属するなら、 X {\displaystyle X} は追加の階層 Δ n 0 {\displaystyle \Delta _{n}^{0}} に分類される。
なお、 Δ n 0 {\displaystyle \Delta _{n}^{0}} に属する式と言った場合、ほとんど意味をなさない。これはつまり、先頭の量化子が存在量化子か全称量化子の式を意味する。従って Δ n 0 {\displaystyle \Delta _{n}^{0}} に属する集合は Δ n 0 {\displaystyle \Delta _{n}^{0}} に属する式で定義されるのではなく、 Σ n 0 {\displaystyle \Sigma _{n}^{0}} に属する式と Π n 0 {\displaystyle \Pi _{n}^{0}} に属する式の両方で定義される集合である。
自然数の有限な直積集合の算術的階層の定義には並列定義が使われる。1つの自由変項の式の代わりに k 個の自由変項の式を使い、k-タプルの自然数の集合についての算術的階層を定義する。