À tutti i mòddi, i filòsofi da matematica an çercou da mæxima de caratterizzâ quello che rende unna preuva ciù dexiderabile de unn’atra quande tutte doe en valide da-o ponto de vista lògico.