لأنّه إذا فرض معدوما « 1 » لزم منه محال ؛ فإذا لا بدّ فيه من اعتبار قيد آخر بأن يقال : « الممكن الوجود هو الذي متى فرض غير موجود أو موجودا من حيث هو لم يلزم منه محال » . « 2 » قوله : « والواجب الوجود هو الضروري الوجود » . هذا تعريف آخر للواجب . قوله : « والممكن الوجود هو الذي لا ضرورة فيه بوجه » . أي لا في وجوده ولا في عدمه تعريف آخر للممكن . وأمّا تفصيل معاني الممكن والواجب فقد ذكر في المنطق . قال الشّيخ : [ في أقسام الواجب ] ثمّ إنّ [ ال ] واجب الوجود قد يكون بذاته وقد يكون لا بذاته . « 3 » و « 4 » الذي هو واجب الوجود بذاته فهو الذي لذاته لا لشيء آخر أيّ شيء كان ، صار محالا فرض « 5 » عدمه . و [ أمّا « 6 » ] الواجب الوجود لا بذاته هو « 7 » الذي لو وضع شيء ممّا « 8 »

--> ( 1 ) . ف : محالا ( 2 ) . م : محالة ( 3 ) . نجا : قد لا يكون بذاته ( 4 ) . نجا : اما ( 5 ) . نجا : كان يلزم محال من فرض . أي : هو الذي ليس من جانب ذاته شيء ، بل صار واجب الوجود بالغير . ( 6 ) . الإضافة من نجا ( 7 ) . نج : و / نجا : فهو ( 8 ) . خ : الذي يوضع شئ ما