सामान्य समुच्चय सिद्धांत

सामान्य समुच्चय सिद्धांत (जीएसटी) स्वयंसिद्ध समुच्चय सिद्धांत ज़र्मेलो समुच्चय सिद्धांत के एक खंड के लिए जॉर्ज बूलोस (1998) का नाम है। जीएसटी सभी गणित के लिए पर्याप्त है जिसमें अनंत समुच्चय की आवश्यकता नहीं होती है, और यह सबसे शक्तिहीन ज्ञात समुच्चय सिद्धांत है जिसके प्रमेय में पीनो सूक्ति सम्मिलित हैं।

तात्विकी
जीएसटी की तात्विकी जेडएफसी के समान है, और इसलिए पूरी तरह से विहित है। जीएसटी में एक एकल आदिम धारणा तात्विकी धारणा, समुच्चय (गणित) और एक एकल तात्विकी धारणा सम्मिलित है, अर्थात् संलाप का क्षेत्र में सभी वैयक्तिक (इसलिए सभी गणितीय वस्तुएं) समुच्चय हैं। एक एकल आदिम धारणा द्विआधारी संबंध, तत्व (गणित) है; वह समुच्चय a, समुच्चय b का एक घटक a ∈ b लिखा जाता है (सामान्यतः a पढ़ा जाता है जो b का एक तत्व (गणित) है)।

सूक्ति
नीचे दिए गए प्रतीकात्मक सिद्धांत बूलोस (1998:196) से हैं, और यह नियंत्रित करते हैं कि समुच्चय कैसे व्यवहार करते हैं और परस्पर क्रिया करते हैं। ज़र्मेलो समुच्चय सिद्धांत की तरह, जीएसटी के लिए पृष्ठभूमि तर्क अभिज्ञान (दर्शन) के साथ प्रथम क्रम तर्क है। वास्तव में, जीएसटी, संघ के स्वयंसिद्ध, शक्ति समुच्चय के स्वयंसिद्ध, प्राथमिक समुच्चय (अनिवार्य रूप से युग्मित स्वयंसिद्ध) और अनंत के स्वयंसिद्ध को छोड़कर और फिर Z, अनुबंधी के एक प्रमेय को एक स्वयंसिद्ध के रूप में लेने से प्राप्त जेड का खंड है। स्वयंसिद्धों के प्राकृतिक भाषा संस्करणों का उद्देश्य अंतर्ज्ञान की सहायता करना है।

1) विस्तारशीलता का अभिगृहीत: समुच्चय x और y एक ही समुच्चय हैं यदि उनके सदस्य समान हों।
 * $$\forall x \forall y [\forall z [z \in x \leftrightarrow z \in y] \rightarrow x = y].$$

इस अभिगृहीत का व्युत्क्रम समानता के प्रतिस्थापन गुण से आता है।

2) विशिष्टता (या पृथक्करण या प्रतिबंधित समझ) की स्वयंसिद्ध स्कीमा: यदि z एक समुच्चय है और $$\phi$$ क्या कोई संपत्ति है जो z के सभी, कुछ, या किसी भी तत्व से संतुष्ट हो सकती है, तो z का एक उपसमुच्चय y मौजूद है जिसमें z में केवल वे तत्व x सम्मिलित हैं जो संपत्ति को संतुष्ट करते हैं $$\phi$$. रसेल के विरोधाभास और इसके वेरिएंट से बचने के लिए z पर प्रतिबंध (गणित) आवश्यक है। अधिक औपचारिक रूप से, आइए $$\phi(x)$$ जीएसटी की भाषा में कोई भी फॉर्मूला हो जिसमें x स्वतंत्र रूप से घटित हो सकता है और y नहीं। फिर निम्नलिखित स्कीमा के सभी उदाहरण स्वयंसिद्ध हैं:
 * $$\forall z \exists y \forall x [x \in y \leftrightarrow ( x \in z \land \phi(x))].$$

3) संयोजन का अभिगृहीत: यदि x और y समुच्चय हैं, तो एक समुच्चय w मौजूद है, जो x और y का संयोजक है, जिसके सदस्य सिर्फ y हैं और x के सदस्य हैं।


 * $$\forall x \forall y \exist w \forall z [ z \in w \leftrightarrow (z \in x \lor z=y)].$$

अनुबंधी दो सेटों पर एक प्राथमिक ऑपरेशन को संदर्भित करता है, और गणित में अन्यत्र, सहायक संचालिका सहित, उस शब्द के उपयोग पर इसका कोई प्रभाव नहीं पड़ता है।

एसटी जीएसटी है जिसमें विनिर्देशन की स्वयंसिद्ध स्कीमा को खाली समुच्चय के स्वयंसिद्ध द्वारा प्रतिस्थापित किया गया है।

मेटामैथेमेटिक्स
ध्यान दें कि विशिष्टता एक स्वयंसिद्ध स्कीमा है। इन स्वयंसिद्धों द्वारा दिया गया सिद्धांत स्वयंसिद्ध स्कीमा नहीं है। मोंटेग्यू (1961) ने दिखाया कि जेडएफसी अंतिम रूप से स्वयंसिद्ध नहीं है, और उनका तर्क जीएसटी पर लागू होता है। इसलिए जीएसटी के किसी भी स्वयंसिद्धीकरण में कम से कम एक स्वयंसिद्ध स्कीमा सम्मिलित होना चाहिए। अपने सरल सिद्धांतों के साथ, जीएसटी भोले समुच्चय सिद्धांत के तीन महान विरोधाभासों से भी प्रतिरक्षित है: रसेल का विरोधाभास|रसेल का, बुराली-फोर्टी विरोधाभास|बुराली-फोर्टी का, और कैंटर का विरोधाभास|कैंटर का।

जीएसटी संबंध बीजगणित में व्याख्या योग्य है क्योंकि किसी भी जीएसटी सिद्धांत का कोई भी हिस्सा तीन से अधिक परिमाणक (तर्क)तर्क) के दायरे में नहीं आता है। यह टार्स्की और गिवंत (1987) में दी गई आवश्यक और पर्याप्त शर्त है।

पीनो अंकगणित
φ(x) को पृथक्करण में x≠x पर समुच्चय करना, और यह मानते हुए कि किसी फ़ंक्शन का डोमेन गैर-रिक्त है, खाली समुच्चय के अस्तित्व का आश्वासन देता है। अनुबंधी का तात्पर्य है कि यदि x एक समुच्चय है, तो ऐसा ही है $$S(x) = x \cup \{x\}$$. अनुबंधी को देखते हुए, खाली समुच्चय से उत्तराधिकारी ऑर्डिनल्स का सामान्य निर्माण आगे बढ़ सकता है, जिसमें प्राकृतिक संख्याओं को परिभाषित किया गया है $$\varnothing,\,S(\varnothing),\,S(S(\varnothing)),\,\ldots,$$. पीनो के अभिगृहीत देखें। जीएसटी पीनो अंकगणित के साथ परस्पर व्याख्या योग्य है (इस प्रकार इसमें पीए के समान प्रमाण-सैद्धांतिक ताकत है)।

एसटी (और इसलिए जीएसटी) के बारे में सबसे उल्लेखनीय तथ्य यह है कि समुच्चय सिद्धांत के ये छोटे खंड ऐसे समृद्ध मेटामैथेमेटिक्स को जन्म देते हैं। जबकि एसटी प्रसिद्ध विहित समुच्चय सिद्धांतों जेडएफसी और वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत, एसटी व्याख्यात्मकता रॉबिन्सन अंकगणित (क्यू) का एक छोटा सा खंड है, ताकि एसटी को क्यू के गैर-तुच्छ मेटामैथेमेटिक्स विरासत में मिले। उदाहरण के लिए, एसटी निर्णायकता है ( तर्क) क्योंकि क्यू है, और प्रत्येक सुसंगत सिद्धांत जिसके प्रमेयों में एसटी स्वयंसिद्ध सम्मिलित हैं, वह भी अनिवार्य रूप से अनिर्णीत है। इसमें जीएसटी और विचार करने योग्य प्रत्येक स्वयंसिद्ध समुच्चय सिद्धांत सम्मिलित है, यह मानते हुए कि ये सुसंगत हैं। वास्तव में, एसटी की निर्णायकता (तर्क) का तात्पर्य एकल बाइनरी विधेय पत्र के साथ प्रथम-क्रम तर्क की अनिश्चितता से है। गोडेल के अपूर्णता प्रमेय के अर्थ में भी Q अधूरा है। कोई भी स्वयंसिद्ध सिद्धांत, जैसे कि एसटी और जीएसटी, जिनके प्रमेयों में क्यू स्वयंसिद्ध सम्मिलित हैं, वैसे ही अधूरा है। इसके अलावा, जीएसटी की स्थिरता को जीएसटी के भीतर ही साबित नहीं किया जा सकता, जब तक कि जीएसटी वास्तव में असंगत न हो।

अनंत समुच्चय
जेडएफसी के किसी भी मॉडल M को देखते हुए, M में आनुवंशिक रूप से सीमित सेटों का संग्रह जीएसटी सिद्धांतों को पूरा करेगा। इसलिए, जीएसटी एक गणनीय अनंत समुच्चय के अस्तित्व को भी साबित नहीं कर सकता है, अर्थात एक समुच्चय जिसकी कार्डिनैलिटी ℵ है0. भले ही जीएसटी ने एक अनगिनत अनंत समुच्चय को वहन किया हो, जीएसटी एक ऐसे समुच्चय के अस्तित्व को साबित नहीं कर सका जिसकी प्रमुखता है $$\aleph_1$$, क्योंकि जीएसटी में पावर समुच्चय के सिद्धांत का अभाव है। इसलिए जीएसटी गणितीय विश्लेषण और ज्यामिति को आधार नहीं बना सकता है, और गणित की नींव के रूप में काम करने के लिए यह बहुत शक्तिहीन है।

इतिहास
बूलोस को जीएसटी में केवल ज़र्मेलो समुच्चय सिद्धांत के एक खंड के रूप में दिलचस्पी थी जो पीनो अंकगणित की व्याख्या करने के लिए पर्याप्त शक्तिशाली है। उन्होंने कभी भी जीएसटी पर ध्यान नहीं दिया, केवल कई पत्रों में इसका संक्षेप में उल्लेख किया, जिसमें पूछा की अंकगणित की नींव और ग्रुंडगेसेट्ज़ की प्रणालियों पर चर्चा की गई, और रसेल के विरोधाभास को खत्म करने के लिए उन्हें कैसे संशोधित किया जा सकता है। प्रणाली 'Aξ[δ0] टार्स्की और गिवंत (1987: 223) में अनिवार्य रूप से जीएसटी है जिसमें एक पीनो स्वयंसिद्ध विनिर्देश के स्वयंसिद्ध स्कीमा की जगह लेता है, और एक खाली समुच्चय के अस्तित्व को स्पष्ट रूप से माना जाता है।

बर्गेस (2005), पी में जीएसटी को एसटीजेड कहा जाता है। 223. बर्गेस का सिद्धांत एस.टी जीएसटी खाली समुच्चय के स्वयंसिद्ध के साथ विनिर्देश के स्वयंसिद्ध स्कीमा की जगह ले रहा है। जीएसटी में एसटी अक्षर भी अंकित होना एक संयोग है।

संदर्भ

 * George Boolos (1999) Logic, Logic, and Logic. Harvard Univ. Press.
 * Burgess, John, 2005. Fixing Frege. Princeton Univ. Press.
 * Richard Montague (1961) "Semantical closure and non-finite axiomatizability" in Infinistic Methods. Warsaw: 45-69.
 * Alfred Tarski, Andrzej Mostowski, and Raphael Robinson (1953) Undecidable Theories. North Holland.
 * Tarski, A., and Givant, Steven (1987) A Formalization of Set Theory without Variables. Providence RI: AMS Colloquium Publications, v. 41.

बाहरी संबंध

 * Stanford Encyclopedia of Philosophy: Set Theory—by Thomas Jech.