Questo o l'é neçessäio perché o numero de previxoin fæte da ste teorie o l'é infinito, ch'oi veu dî che no peuan ëse conosciue da-a quantitæ limitâ de preuve deuviando solo che a lògica deduttiva.