4
सेट और प्रकार के बीच वास्तव में शब्दार्थ क्या है?
संपादित करें: मैंने अब श्रेणियों और सेटों के बीच अंतर के बारे में एक समान प्रश्न पूछा है । हर बार जब मैं के बारे में प्रकार सिद्धांत (जो वैसे नहीं बल्कि अनौपचारिक है) पढ़ा है, मैं वास्तव में नहीं समझ सकता कि यह कैसे सेट सिद्धांत से अलग है, …
33
type-theory
sets