Hasta el siglo XX se asumía que cualquier demostración debía, en principio, ser revisada por un matemático competente para confirmar su validez.