sentence2: Ένα σύνολο είναι αναδρομικό αν και μόνο αν είναι στο επίπεδο Δ 1 0 {\displaystyle \Delta _{1}^{0}} της αριθμητικής ιεραρχίας.
sentence1: وتكون أي مجموعة مرقّمة بشكلٍ عوديّ فقط إذا كانت عند المستوى Σ 1 0 {\displaystyle \Sigma _{1}^{0}} من الهرم الحسابي.