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