اتصافها بالوجود وكونها مصداقا للحكم عليها بالوجود يحتاج إلى فاعل يجعله كذا ، لأنّ كلّ عرضي معلّل امّا بمهيته المعروضة له أو بامر خارج عنها وقد علم من قبل امتناع تأثير الشيء في وجود نفسه من جهة أنّ العلّة يجب أن تكون مقدّمة على المعلول بالوجود ، وتقدّم الماهية على وجودها بالوجود غير معقول بخلاف تقدّمها على صفاتها اللازمة سوى الوجود ، فلا محالة تحتاج تلك الماهية في وجودها إلى أمر خارج عنها ، وكلّ ما يحتاج في وجوده إلى أمر آخر فهو ممكن الوجود ، فلو كان الواجب ذا ماهية لزم كونه ممكن الوجود ؛ هذا خلف ، فواجب الوجود لا ماهية له سوى الانية.
وهذه الحجّة أيضا قريبة ممّا ذكرناه أوّلا. ويقرب منها أيضا ما ذكره بعض آخر من الأذكياء ، وهو : انّ وجود الواجب لو كان زائدا على ذاته لكانت معلولا للذات لا معلولا للغير ـ وإلاّ لزم احتياج الواجب إلى الغير ، وهو باطل ـ ، وإذا كان معلولا للذات لزم كون الذات مقدّما على الوجود بالوجود ـ لأنّ تقدّم العلّة بالوجود على المعلول بديهي عقلي ـ ، فنقول : هذا الوجود المقدّم إن كان عين الوجود المتأخّر لزم الدور ؛ وإن كان غيره ننقل الكلام إلى هذا الوجود المقدّم واتصاف الذات به ، فيلزم ، التسلسل وهو باطل ؛ هذا.
والشيخ الرئيس بيّن في الشفا في هذا المقام أوّلا عدم كون وجوب الوجود جزء من ماهية الواجب وحقيقته حتّى تكون ماهية الواجب مركّبة من وجوب الوجود وشيء آخر ويحصل له كثرة قبل الذات من حيث تركّب حقيقته من وجوب الوجود وشيء آخر ، لأنّ الكثرة قبل الذات انّما يتصوّر باعتبار تركّب الماهية سواء كان من وجوب الوجود وشيء آخر أو من جنس وفصل أو غيرهما ؛ ثمّ بين المطلوب الّذي نحن بصدده ـ أعني : نفي التركيب مع الذات الّذي هو عينية الوجود لماهيته وعدم كون وجوده زائدا على ذاته ـ ، فقال في بيان الأوّل : إنّ واجب الوجود لا يجوز أن يكون على الصفة الّتي فيها تركّب حتّى يكون هناك ماهية ما وتكون تلك الماهية واجبة الوجود ، فيكون لتلك الماهية معنى غير حقيقتها ـ أعني : جزئها الّذي يصدق عليه أنّه معنى غير حقيقة المركّب ـ ، لأنّ حقيقة الجزء غير حقيقة الكلّ الّذي هو المركّب و