Until the twentieth century it was assumed that any proof could, in principle, be checked by a competent mathematician to confirm its validity.
Ata o século XX asumíase que calquera proba podía, en principio, ser comprobada por un matemático competente para confirmar a súa validez.