This result gives a precise meaning to the notion that the set of natural numbers constitutes a universal library and indeed a universal data base.
Этот результат придаёт точное значение представлению о том, что множество натуральных чисел составляет универсальную библиотеку и даже универсальную базу данных.