Deungen demikian, nyo adalah rumoh bagi teorema hana leungkap Gödel yeng (sucara informal) menyiratkan bahwa tip sistem formal efektif yeng meuaso aritmatika dasai, meuse su (arti jih mandum teorema yeng jeut dibuktikan beutoi), tente hana leungkap (arti jih na teorema yeng beutoi yeng hana jeut dibuktikan dalam sistem nyan).