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.
Dieses Erkenntnis verleiht der Ansicht der Gesamtheit der natürlichen Zahlen als Universalbibliothek und sogar als universaler Datenbank einen konkreten Sinn.