There are close relationships between the Turing degree of a set of natural numbers and the difficulty (in terms of the arithmetical hierarchy) of defining that set using a first-order formula.
Există relații strânse între gradul Turing al unei mulțimi de numere naturale și dificultatea (în termeni de ierarhie aritmetică⁠(d)) de definire a acelei mulțimi, folosind o formulă de ordinul întâi⁠(d).