التي يقضى بها على العدم إنما نتصور مقابله، وتصوره بتصور مقابله تصور له من جهة، فهو تصور إجمالي، والتصور الإجمالي يكفي في الحكم على الشيء، فاجتمع القاعدتان أيضا، فما حكمنا إلا على ما تصورناه إجمالا، ولم يقع العدم بما هو في ذهننا، فاندفع السؤال مطلقا وثبتت القاعدتان، وحينئذ يظهر لك أن مسميات هذه الألفاظ- أعني ألفاظ المستحيلات والأعدام- يستحيل تصورها، فعلمنا حينئذ أن مسميات ما عدا صيغ العموم إما أن يكون متعذر/ التصور مطلقا بجميع أفراده وأنواعه أو ممكن التصور مطلقا، أما انقسام مسمى واحد إلى نوعين أحدهما يقبل التصور والآخر مستحيل عليه التصور فهذا من خواص مسمى صيغ العموم.
الخاصية الخامسة لمسمى صيغ العموم: أنها تقبل أن يستثنى منها ويخرج ما لا يتناهى (ويبقى بعد إخراج ما لا يتناهى) أيضا، فإن المشركين مثلا مسماه غير متناه، كما تقدم تحقيقه مرارا، فإذا أخرجنا منهم الرهبان أو قبيلة من القبائل، وقال الله تعالى: هذه الفرقة لا تتعرضوا لها في حالة من الحالات، كان الخارج غير متناه، فإن الرهبان مثلا، وبني تميم مثلا عددهم لا يجب الوقوف فيه عند غاية كالمشركين في بابه، فإذا أخرجناهم من المشركين بقي من الفرق المشركة فرق عديدة كل فرقة منها غير متناهية بهذا