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