An ontological argument for the existence of God was first proposed by Avicenna (965-1037) in the Metaphysics section of The Book of Healing. Other forms of the argument also appear in Avicenna's other works, and the argument became known as the Proof of the Truthful. Avicenna initiated a full-fledged inquiry into the question of being,