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 des fonctions de dans Turing-calculables. Un système de programmation est dit universel s'il admet une fonction (partielle) Turing-calculable dite fonction universelle telle que où est la bijection classique de dans . Cette fonction est universelle au sens où elle peut simuler n'importe quelle fonction du système de programmation.