Inte sto senso, inta teoria de l’incompletessa di teoremi de Gödel vëgne implicou (informalmente) che un scistema formale efficaçe chechesegge ch’o contëgne l’aritmetica de base, s’o fonçioña (into senso che tutti i teoremi che se peuan demostrâ en vëi), o l’é pe fòrsa de cöse incompleto (into senso che gh’é di teoremi vëi che no peuan demostrâ inte quello scistema).