4
সেট এবং প্রকারের মধ্যে অর্থগত পার্থক্যটি ঠিক কী?
সম্পাদনা: আমি এখন বিভাগ এবং সেটগুলির মধ্যে পার্থক্য সম্পর্কে একই ধরণের প্রশ্ন জিজ্ঞাসা করেছি । আমি যখনই টাইপ থিওরি সম্পর্কে পড়েছি (যা স্বতন্ত্রভাবে অনানুষ্ঠানিক) তখন আমি সেট টিওর থেকে কীভাবে আলাদা তা বুঝতে পারি না, কংক্রিটলি । আমি বুঝতে পেরেছি যে "x একটি সেট এক্স এর সাথে সম্পর্কযুক্ত" এবং "এক্স …
33
type-theory
sets