لغة “نظرية الأرقام الطباعية” (Typographical Number Theory)، المعروفة اختصارًا بـ”تي إن تي” (TNT)، هي نظام أكسيومي رسمي يصف الأعداد الطبيعية، وظهرت لأول مرة في كتاب دوغلاس هوفستادتر “جودل، إيشر، باخ” (Gödel, Escher, Bach) في عام 1979. تُعتبر TNT تنفيذًا للحساب العددي بيانو (Peano arithmetic) يستخدمه هوفستادتر لشرح نظريات عدم الاكتمالية لجودل. ومثل أي نظام ينفذ مبادئ بيانو، فإن TNT قادرة على الإشارة إلى نفسه (إنها ذاتية الإشارة).
لمزيد من المعلومات، يمكنك زيارة صفحة ويكيبيديا المخصصة لـ نظرية الأرقام الطباعية، حيث يتم شرح المزيد حول النظرية وتاريخها واستخداماتها في فهم نظريات الأعداد وعدم الاكتمالية.
