مجرد ملخص لأفكار مأخوذة هنا وهناك

المحدد الكمي" يوجد وحيد" لا وجود له... إنه مجرد "اختصار أو رابط raccourcie كما في لغة الكومبيوتر تم استخدامه من قبل بعض الرياضياتيين لأجل صيغ قصيرة بدليل أنه لا يمكن البرهنة بالاعتماد على هذا النوع من المحدد الكمي.
وهكذا يبقى السبيل الوحيد هو العودة المنهجية إلى المحدد الكمي الذي توجد له قواعد استنتاجية déductif.
وفي هذا،المعنى هناك الكثير من الطرق للعودة إلى المحدد الكمي المعياري، فقط الأمر يتوقف على السياق والأهمية.
فمثلا:
يمكن أن يتحول إلى

ومنه يتبين أن التحول ليس سهلا وعلى أنه يفرض ااستعمال المحدد الكوني...كما يمكن تحويله إلى :

إلا أن هذا يشترط ما يكفي من الخاصيات في الأعداد card للتعامل مع مثل هذه التعابير
وعموما لا يمكن تحديد تعريف محدد ورسمي للتعبير " يوجد واحد وحيد""il existe un unique" ذلك أنه ليست هناك إمكانية لتحديد ما معنى "الوحيد" دون مفهوم التساوي، وكل ما هو خارج التساوي يبقى خارج المنطق الكلاسيكي الذي تم فيه تحديد المحددات الكمية "يوجد" و"لكل".
وعمليا سيكون دائما مفهوم التساوي بما يسمح بتحديد "يوجد واحد وحيد x" على نحو "يوجد x" وكل شيء له نفس الخاصية هو بالضرورة مساوي لـــ X
وللإشارة إن الكمي الكوني هو بالضرورة داخل الأول الوجودي وليس خارجه.
وإجمالا إن هذا يعني أن مفهوم الوحيد أو الفريد l’unicité لا يمكن تحديده سوى في نظرية أعرض من المنطق الكلاسيكي الأساس الذي يتضمن التساوي اللهم إذا من أدوات أخرى خاصة بهذا المنطق
وبالمناسبة ليس هناك مفهوم واحد للتساوي
أخيرا إن المفهوم المستعمل بكثرة هو أنه إذا شيئان متساويان فيمكن تعويض أحدهما بالآخر أي بذاته
ولكن يبقى التقاش مفتوحا حول تساوي شيئان فيهما اختلاف ولو بسيط جدا وعلى سبيل المثال، أن تكتب a=b فهذا فيه تسمية مغايرة ومنه فإن القيمة لكل منهما ليست محددة بشكل دقيق علما أنه لا يليق أن نكتب a=a
فحتى في المنطق يجب الانتباه حينما نكتب a=b لأنه لا يمكنهما أن يفوضا بعضهما البعض في التعابير المنطقية بسبب المتغيرات المرتبطة بالكمي.
يجب استعاب وفهم بأن أكمة الأساس "يوجد" و" لكل" نحديدهم دائما كلما استعمل المنطق الكلاسيكي بما يفسر أن طرق التحويل و الاستنتاج هم دائما نفسهم في الحين أن l'unicité لا يمكن تحديدها سوى في نظيرة أوسع لذلك نفي يوجد وحيد ليست كما نفي يوجد بذلك وجب الرجوع إلى التحول نحو ألأكمة الأساس... وهكذا يعتبر يوجد وحيد عبارة عن رابط raccourcie أو "اختصار" وليس كم لذاته يتضمن قواعد التحويل والاستنتاج