En informatique, et en particulier en théorie de la calculabilité, un système de programmation est une numérotation de Gödel de l'ensemble T {\displaystyle {\mathcal {T}}} des fonctions de N {\displaystyle \mathbb {N} } dans N {\displaystyle \mathbb {N} } Turing-calculables. Wikipedia