Post teoremasi: arifmetik iyerarxiyani Turing sakrashlari orqali belgilaydi. Har bir n≥1 uchun Σ_n^0 to'plamlari ∅^(n−1) ga nisbatan rekursiv ravishda sanaluvchi (r.e.) bo‘ladi; Π_n^0 ularning inkoridir; Δ_n^0 ham Σ_n^0 ham Π_n^0 bo‘lib, ∅^(n−1) ga nisbatan hisoblanadigan to‘plamlardir. Shu bilan arifmetik iyerarxiya darajalari Turing sakrashlari bilan mos keladi