كانت الفكرة هي رسم خريطة التدوين الرياضي Mathematical notation لعدد طبيعي (باستخدام ترقيم غودل Gödel numbering).
Here, the idea was to map mathematical notation to a natural number (using a Gödel numbering).