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