Come tałe, ła xe casa dei teoremi de incompletesa de Gödel che (informalmente) i implica che ogni sistema formałe eficace che el contien de l’aritmetica base, se sołido (el che significa che tuti i teoremi cheb poł esar provai i xe veri), l’è necesariamente incompleto (el che vol dire che ghe xe teoremi vri che no poł esar provai in chel sistema).