"Wallis' mathematical work, most notably his Arithmetica Infinitorum, was the polemic target of Pierre de Fermat and Thomas Hobbes. ...the letters of the French mathematician were reproduced in Wallis' Commercium Epistolicum (1658) ...One of the criticisms leveled at Wallis concerned the validity of induction. The fact that a proposition is proven true for a few numbers... does not imply that it is true for all... as Fermat, a master of number theory, knew too well. Fermat invited Wallis to devote himself to number theory, but Wallis found it of little interest. Number theory struck him as something of little use in applications, in other words, as a useless inquiry. ...Wallis ...claimed that induction methods were not his invention but had been employed both recently by Henry Briggs and Viète and in the ancient world by Euclid."