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