Hatcher said that though many subsequent philosophers like Thomas Aquinas and Moses Maimonedes built on Avicenna's proof, they continued to fall back on the infinite regression principle. Hatcher argued that this principle is not sufficient to prove the necessity of God's existence. Modern mathematics demonstrates the logical possibility of infinite regression; negative integers, for instance, do not have a minimal element or something that can be labeled a "first cause."

Thus, Hatcher has attempted to wed modern mathematics and ancient philosophy in a proof of God's existence, drawing on Avicenna's concept of relational logic. "In relational logic, we want to know how the object relates to other objects. It turns out that the relational approach often yields more useful information [than Aristotlean attributional logic]."