Wallis (1616-1703) aritmetizou a Geometria Indivisibililus de Cavalieri. Neste processo Wallis atribuía valores numéricos aos infinitos indivisíveis das figuras. Por exemplo, se pretendermos comparar os quadrados dos indivisíveis no triângulo com os quadrados dos indivisíveis no paralelogramo, tomamos o comprimento do primeiro indivisível no triângulo como sendo zero, o segundo um, o terceiro dois e, assim sucessivamente.
Se tivermos n indivisíveis o comprimento será n-1. Então a razão dos quadrados dos indivisíveis nas duas figuras será
no caso de haver apenas dois indivisíveis.
Para n+1 indivisíveis obtemos o resultado
se n é infinito a razão é 1/3. (Quando n é infinito o termo 1/6n tende para zero). Ou seja,
.
Wallis generalizou o processo a potências inteiras superiores de x. E por indução incompleta conclui que
para todos os valores inteiros de m.
