CEVAP: Eksiklik teoremlerinin büyük ilgi çekmesinin önemli bir nedeni de Gödel’in bu sonuçlara ulaşmakta başvurduğu kanıtlama yoludur. Gödel kanıtlamasındaki önemli aşamalardan biri, aritmetiğin üst-dilinin aritmetik içinde kodlanmasıdır. Bu amaçla, aritmetik semboller, aritmetik önermeler ve aritmetik önermelerden oluşan sonlu diziler olan aritmetik kanıtlamalar sonlu sayı dizileriyle kodlanmıştır.