الاستدراك الأصولي دراسة تأصيلية تطبيقية

وعلى هذا فبين تكميل الحذف وتكميل الاختصار عموم وخصوص، فكل تكميل حذف تكميل اختصار، وليس العكس (١).
ثانيًا: الفرق بين تكميل حذف المكرر وتكميل حذف الزيادات: اختلاف في المحذوف، ففي تكميل حذف المكرر المحذوف هو المكرر، وفي تكميل حذف الزيادات المحذوف هو الزيادة.
٢ - لا يمتنع اجتماع أنواع مختلفة من استدراك تكميل الكمية في المسألة الأصولية الواحدة. (٢)
٣ - لا يمتنع اجتماع تكميل الكمية وتكميل الكيفية في المسألة الأصولية الواحدة (٣)، وكذلك تكميل الكيفية (٤).
_________
(١) يُنظر: معجم الفروق اللغوية (ص: ١٧٩ - ١٨٠).
(٢) كاستدراك حلولو على القرافي في استكمال الأركان القياس وشروطها السابق ذكره في (ص: ٣٠٠).
(٣) كفعل مختصري المصنفات؛ حيث كان استدراكهم من باب تكميل الكيفية، ورغم ذلك وجد تكميل للكمية في مسائل. وسبق ذكر كلام السراج الأرموي في اختصاره للمحصول عند قوله: " ... مع زيادات منا مكملة ... ". يُنظر: التحصيل (١/ ١٦٣).
(٤) يُنظر: تكميل الشرح (ص: ٣٠٩)، وتكميل الحاشية (ص: ٣١٠).