قوة قوله: لا مساواة بينهما. أو هو يفيد نفي المساواة بينهما من كل وجه، لما ثبت أن النكرة في سياق النفي تعم، فيقتضي قولنا: لا يستويان نفي كل واحد من أفراد المساواة، وهو المطلوب.
وثالثها: لو كفى في إطلاق نفي المساواة بين الشيئين نفى المساواة بينهما ولو من بعض الوجوه، لصدق "إطلاق" نفي المساواة على كل شيئين، لأن كل شيئين لابد وأن يستويان من بعض الوجوه أقله في التعين والتشخص وإذا صدق على كل شيئين أنهما لا يستويان، وجب أن لا يصدق عليهما أنهما يستويان، ضرورة كونهما متناقضين في العرف، ألا ترى أن من قال: هذان الشيئان يستويان، فمن أراد تكذيبه من أهل العرف قال: "إنهما لا يستويان" ولولا أنهما متناقضان وإلا لما استعملا في التكاذب، لكنه باطل.
أما أولا: فلأن أهل اللغة والعرف. يطلقون من غير نكير المثلين أنهما يستويان، والأصل في الإطلاق الحقيقة.
وأما ثانيا: فلأن كل شيئين لا بد وأن يستويا في أمور نحو الشيئية، ونفي ما عداهما عنهما والمعلومية والمذكورية فيصدق/ (٢١٨/أ) عليهما أنهما فيها، فمتى صدق المفيد صدق المطلق، وبطلان اللازم يدل على بطلان الملزوم، فيلزم أن لا يلغي في إطلاق نفس المساواة بين الشيئين نفي المساواة بينهما من بعض الوجوه، بل من كل الوجوه، وهو المطلوب.