Tant che e je cjase dai teorems da l’incompletece di Gödel, che (informalmentri) a implichin che ducj i sistemis formâls che a contegnin artimetiche basilâr, se solit (ducj i teoremis che puedin jessi testâi a son vêrs), a son incomplets (a son teoremis vêrs che a no puedin jessi testâi inte chel sisteme).