CEVAP: Gödel, teoremlerin ilki aritmetiksel önermeleri temsil edebilecek kadar güçlü bir biçimsel dizge içerisinde ne kendisinin ne de değilinin ispatı verilemeyecek doğru önermeler bulunduğunu, bu itibarla da biçimsel dizgelerin aritmetiğin doğru önermelerini temsil etmek konusundan bir eksiklik barındırdığını göstermiştir.