Avicena esgrime en su Física un ejemplo geométrico mediante el cual demuestra que ningún cuerpo puede ser infinito. Supongamos -dice- una longitud infinita AB, donde B no es un punto sino una dirección que se extiende infinitamente. Si introducimos en AB el intervalo CB, éste se extenderá también infinitamente, ya que hemos convenido que B no es un punto, sino una dirección. Ahora bien, si sobreimponemos CB a AB, sólo hay dos opciones posibles: que CB sea igual a AB o que CB sea menor que AB por la cantidad finita AC, siendo así que A y C son dos puntos, y la distancia entre dos puntos es siempre finita. Sin embargo, si CB es igual a AB, entonces la parte es igual al todo, lo que entraña una contradicción. Por otro lado, si CB es menor que AB por la cantidad finita AC, entonces CB no puede ser infinito, ya que C ha pasado a ocupar el lugar de A, de modo que si CB fuera infinito, no estaría limitado en la dirección de B por la cantidad finita AC. Luego CB es finito. Ahora bien, si CB es finito y AC es finito, entonces también lo es la suma de ambos, es decir, AB es finito, en contra de lo que se ha supuesto. Luego se sigue que ninguna extensión y, por ende, ningún cuerpo pueden ser infinitos.
En este caso no es la substracción de AC a AB, sino la limitación de AB por AC lo que debe tenerse en cuenta. Si AC limita a AB, entonces B no es una dirección infinita. La dirección trazada por AB termina en AC, y por tanto B es un punto. En consecuencia, AB es una extensión finita, ya que la distancia entre dos puntos siempre lo es.
Como corolario, si ninguna extensión o cuerpo pueden ser infinitos, y no hay movimiento sin extensión o cuerpo, entonces ningún movimiento es infinito en acto. Dado que el tiempo es medida del movimiento, síguese asimismo que el tiempo no es infinito en acto. Por tanto, el tiempo tiene un comienzo absoluto y no cabe postular una sucesión infinita de causas y efectos.