11
অস্তিত্বের ধরণ কী?
আমি উইকিপিডিয়া নিবন্ধ অস্তিত্বের প্রকারের মাধ্যমে পড়ি । আমি একত্রিত হয়েছি যে অস্তিত্বহীন অপারেটরের (∃) কারণেই তাদের অস্তিত্বের ধরণ বলা হয়। যদিও এর মূল বক্তব্যটি আমি নিশ্চিত না। এর মধ্যে পার্থক্য কী T = ∃X { X a; int f(X); } এবং T = ∀x { X a; int f(X); …