تعداد غودل أو ترقيم غودل (بالإنجليزية: Gödel numbering) في المنطق الرياضي هو دالة تعين لكل رمز وصيغة جيدة التكوين لبعض اللغات المتصرفة عددًا طبيعيًا فريدًا، يسمى عدد غودل الخاص به. طور كورت غودل هذا المفهوم للإثبات مبرهناته حول عدم الاكتمال.
يمكن تفسير تعداد غودل على أنه تشفير يُعين فيه عدد لكل رمز من رموز التدوين الرياضي، وبعد ذلك يمكن لسلسلة من الأعداد الطبيعية أن تمثل سلسلة من الرموز بعدها. مما يمكن من تمثيل هذه التسلسلات من الأعداد الطبيعية مرة أخرى بأعداد طبيعية مفردة، مما يسهل معالجتها في النظريات الرسمية للحساب.
منذ نشر ورقة غودل في عام 1931، تم استخدام مصطلح "تعداد غودل" أو "شفرة جودل" للإشارة إلى تعيينات أكثر عمومية للأعداد الطبيعية للأشياء الرياضية.