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

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

ओन्टोलॉजी

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

स्वसिद्धांत

नीचे दिए गए प्रतीकात्मक सिद्धांत बूलोस (1998:196) से हैं, और यह नियंत्रित करते हैं कि सेट कैसे व्यवहार करते हैं और बातचीत करते हैं। ज़र्मेलो सेट सिद्धांत की तरह, जीएसटी के लिए पृष्ठभूमि तर्क पहचान (दर्शन) के साथ प्रथम क्रम तर्क है। वास्तव में, जीएसटी, संघ के स्वयंसिद्ध, शक्ति सेट के स्वयंसिद्ध, प्राथमिक सेट (अनिवार्य रूप से युग्मित स्वयंसिद्ध) और अनंत के स्वयंसिद्ध को छोड़कर और फिर जेड, एडजंक्शन के एक प्रमेय को एक स्वयंसिद्ध के रूप में लेने से प्राप्त जेड का टुकड़ा है। स्वयंसिद्धों के प्राकृतिक भाषा संस्करणों का उद्देश्य अंतर्ज्ञान की सहायता करना है। 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\exists w\forall z[z\in w\leftrightarrow (z\in x\lor z=y)].$

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

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

चर्चा

मेटामैथेमेटिक्स

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

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

पीनो अंकगणित

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

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

अनंत समुच्चय

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

इतिहास

बूलोस को जीएसटी में केवल ज़र्मेलो सेट सिद्धांत के एक टुकड़े के रूप में दिलचस्पी थी जो पीनो अंकगणित की व्याख्या करने के लिए पर्याप्त शक्तिशाली है। उन्होंने कभी भी जीएसटी पर ध्यान नहीं दिया, केवल कई पत्रों में इसका संक्षेप में उल्लेख किया, जिसमें पूछा की अंकगणित की नींव और ग्रुंडगेसेट्ज़ की प्रणालियों पर चर्चा की गई, और रसेल के विरोधाभास को खत्म करने के लिए उन्हें कैसे संशोधित किया जा सकता है। प्रणाली 'Aξ[δ₀] टार्स्की और गिवंत (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.