Este resultado proporciona un sentido preciso a la noción de que el conjunto de los números naturales constituye una biblioteca universal e incluso una base de datos universal.