Questo serve parché el numero de prevision che ‘ste teorie fa xe infinìo, vol dìr che no pol essar conossùe dała quantità finìa de prove usando soł che a logica dedutiva.