رفع الحاجب عن مختصر ابن الحاجب

ومقدمات الْبُرْهَان قَطْعِيَّة؛ لتنتج قَطْعِيا؛ لِأَن لَازم الْحق حق، وتنتهي إِلَى ضَرُورِيَّة؛ وَإِلَّا لزم التسلسل. هَامِش الشَّرْح: " ومقدمات الْبُرْهَان قَطْعِيَّة "؛ وَحِينَئِذٍ " تنْتج قَطْعِيا؛ لِأَن لَازم الْحق حق "، والنتيجة لَازم الْمُقدمَات؛ حق؛ وَلَا بُد أَن " تَنْتَهِي " الْمُقدمَات " إِلَى ضَرُورِيَّة؛ وَإِلَّا لزم التسلسل "، أَو الدّور؛ لِأَنَّهُ حِينَئِذٍ تكون تِلْكَ الْمُقدمَات مكتسبة من مُقَدمَات أخر، وَهَكَذَا؛ فيتسلسل. وَلما كَانَ الدّور أَيْضا تسلسلا؛ إِلَّا أَنه فِي الْأُمُور المتناهية - اسْتغنى المُصَنّف بِذكر التسلسل عَن ذكره.