Gödel’in adının mantık dünyasında sıklıkla anılmasını sağlayan teoremdir.

Gödel’in Hilbert programı içindeki çalışmalarının bir sonucunda ortaya çıkmıştır.

Doğal sayılar aritmetiği için Richard Dedekind’in verdiği belit sistemi göz önünde bulundurulabilir.

Eksiklik teoremlerinde üç tane belit vardır.

Sx = Sy › x = y  (y hiçbir sayının ardılı değildir)