فَإِن من أَرَادَ أَن يعلم أَن الْعَالم مُمكن فطريقه أَن يَقُول الْعَالم متغير وكل متغير مُمكن وَأَيْضًا فَلَمَّا كَانَ ثُبُوت ذَلِك الْمَحْمُول لذَلِك الْمَوْضُوع مَجْهُولا فَلَا بُد من شَيْء يتوسطهما بِحَيْثُ يكون ثُبُوت ذَلِك الْمَحْمُول لَهُ مَعْلُوما وَيكون ثُبُوته لذَلِك الْمَوْضُوع مَعْلُوما فَحِينَئِذٍ يلْزم من حُصُولهَا حُصُول ذَلِك الْمَطْلُوب فَثَبت أَن كل مَطْلُوب مَجْهُول لَا بُد لَهُ من معلومين متقدمين ثمَّ نقُول إِن كَانَا معلومين على الْقطع كَانَت النتيجة قَطْعِيَّة وَإِن كَانَ أَحدهمَا مظنونا أَو كِلَاهُمَا كَانَت النتيجة ظنية لِأَن الْفَرْع لَا يكون أقوى من الأَصْل