L’è necesari perché el nümar di previsiun fat di chesti teurì l’è infinì, che significa che pœden no vèss cognussü de la quantità finida di prœuf duperand sultant la logica dedutiva.