[3] ان الواجب الوجود، هو الوجود الذي متى
فرض غير موجود، عرض منه محال. و ان الممكن الوجود، هو الذي متى فرض غير موجود أو [4] موجودا، لم يعرض منه محال.
و الواجب الوجود هو الضرورى الوجود. و الممكن الوجود هو الذي [5] لا ضرورة فيه بوجه، أى لا فى وجوده و
لا فى عدمه.
فهذا [6] هو الذي نعنيه فى هذا الموضع بممكن
الوجود. و ان كان قد يعنى بممكن الوجود ما هو فى القوة، و يقال الممكن على كل صحيح
الوجود، و قد فصل ذلك فى المنطق.
ثم ان الواجب الوجود قد يكون بذاته
[7]، و قد يكون لا بذاته.
و الذي [8]
هو واجب الوجود بذاته، فهو الذي لذاته لا لشىء
[9] آخر، أى شىء كان، صار محالا فرض
[10] عدمه.