 Avicenna’s proof of God’s existence, famously known as “Burhān al-ṣidiqin”, Demonstration of the Truthful (Mayer 2001), occupies a good deal of Albalag’s critical discussion. The proof is meant to be a metaphysical proof, one that takes place in the science of Metaphysics and proceeds from analyses of the conception of existence qua existence.