980-1037 d.C), otro filósofo islámico propuso un argumento formal a favor de la existencia del Dios islámico.