Until the twentieth century it was assumed that any proof could, in principle, be checked by a competent mathematician to confirm its validity.
До двадесетог века се претпостављало да се било који доказ начелно може проверити од стране компетентног математичара да би се потврдила његова валидност.