Punika mawinan, puniki pinaka genah majeng teorema sane Gödel durung jangkep  sane (manut formal) nyihnayang inggan sajeroning  sistem formal efektif madanging aritmatika dasar, yaning suara (suksmanyane  samian teorema sane kabuktiang patut), pastina nenten jangkep (suksmannyane wenten teorema sane patut  sane nenten prasida kabuktiang ring system punika).