Product Design, Manufacturing & Innovation Resources
घर » ज़र्मेलो-फ्रेंकेल सेट थ्योरी (ZFC)

ज़र्मेलो-फ्रेंकेल सेट थ्योरी (ZFC)

1922
  • Ernst Zermelo
  • Abraham Fraenkel
  • Thoralf Skolem
Mathematics office showcasing Zermelo–Fraenkel set theory discussions.

(यह छवि केवल उदाहरण के लिए बनाई गई है)

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

ZFC को 20वीं शताब्दी के आरंभ में समुच्चय सिद्धांत को एक कठोर स्वयंसिद्ध आधार पर स्थापित करने के लिए विकसित किया गया था, जिससे रसेल के विरोधाभास जैसे विरोधाभासों से बचा जा सके जो सरल समुच्चय सिद्धांत से उत्पन्न हुए थे। स्वयंसिद्ध समुच्चयों के ब्रह्मांड को परिभाषित करते हैं। प्रमुख स्वयंसिद्धों में विस्तारशीलता का स्वयंसिद्ध (दो समुच्चय बराबर होते हैं यदि उनमें समान तत्व हों), संघ का स्वयंसिद्ध (किसी समुच्चय के तत्वों का संघ एक समुच्चय होता है), घात समुच्चय का स्वयंसिद्ध (किसी समुच्चय के सभी उपसमुच्चयों का समुच्चय एक समुच्चय होता है), और विशिष्टता की स्वयंसिद्ध योजना (जो किसी गुण द्वारा उपसमुच्चय को परिभाषित करने की अनुमति देती है) शामिल हैं। अब्राहम फ्रेंकेल और थोराल्फ स्कोलेम ने स्वतंत्र रूप से प्रतिस्थापन की स्वयंसिद्ध योजना का प्रस्ताव दिया, जो कुछ बड़े अनंत समुच्चयों के निर्माण के लिए अधिक शक्तिशाली और आवश्यक है। ZFC में, यह कथन 'विकल्प का स्वयंसिद्ध' (Axiom of Choice) को दर्शाता है, जो एक शक्तिशाली और कभी विवादास्पद स्वयंसिद्ध है, जिसमें कहा गया है कि रिक्त न होने वाले समुच्चयों के किसी भी संग्रह से, प्रत्येक समुच्चय से एक तत्व का चयन करना संभव है। यद्यपि अधिकांश गणितज्ञ ZFC को मानक आधार के रूप में स्वीकार करते हैं, फिर भी ZFC के भीतर इसकी संगति सिद्ध नहीं की जा सकती, जो कि इसके परिणामस्वरूप है। गोडेल'का दूसरा अपूर्णता प्रमेय।

UNESCO Nomenclature: 1201
तर्क

Type

सार प्रणाली

व्यवधान

मूलभूत

उपयोग

व्यापक उपयोग

शगुन

  • जॉर्ज कैंटर का मूल (सरल) सेट सिद्धांत
  • अंकगणित की नींव पर रिचर्ड डेडेकिंड का कार्य
  • सरल समुच्चय सिद्धांत में विरोधाभासों की खोज (उदाहरण के लिए, रसेल का विरोधाभास)
  • अर्न्स्ट ज़र्मेलो द्वारा समुच्चय सिद्धांत का प्रारंभिक स्वयंसिद्धीकरण (1908)

आवेदन

  • यह लगभग सभी आधुनिक गणित के लिए मूलभूत ढांचा प्रदान करता है।
  • यह संख्याओं, कार्यों और संबंधों जैसी मूलभूत अवधारणाओं को परिभाषित करता है।
  • में प्रयुक्त औपचारिक सत्यापन और स्वचालित प्रमेय सिद्धीकरण
  • यह विश्लेषण, टोपोलॉजी और बीजगणित जैसे क्षेत्रों का आधार है।

पेटेंट:

NA

संभावित नवाचार विचार

  • गणितीय तर्क में मॉडल सिद्धांत का विकास
  • वास्तविक विश्लेषण और टोपोलॉजी का औपचारिककरण
  • विशाल कार्डिनल सिद्धांत का निर्माण
  • Coq और Isabelle/HOL जैसे प्रूफ असिस्टेंट जो सेट थ्योरी या इसी तरह की टाइप थ्योरी पर आधारित हैं
  • डेटाबेस सिद्धांत की नींव, विशेष रूप से संबंधपरक मॉडल
  • formal semantics for programming languages
  • श्रेणी सिद्धांत का विकास एक वैकल्पिक आधार के रूप में
  • वर्णनात्मक समुच्चय सिद्धांत में प्रगति
  • ZFC से निरंतरता परिकल्पना की स्वतंत्रता का प्रमाण
  • सैद्धांतिक कंप्यूटर विज्ञान में जटिल डेटा संरचनाओं को परिभाषित करने के लिए ढांचा
संबंधित विषय: ZFC, समुच्चय सिद्धांत, चयन का स्वयंसिद्ध, गणित की नींव, स्वयंसिद्ध, ज़र्मेलो, फ्रेंकेल, प्रथम-क्रम तर्क, रसेल का विरोधाभास, आधुनिक गणित।

ऐतिहासिक संदर्भ

ज़र्मेलो-फ्रेंकेल सेट थ्योरी (ZFC)

1900
1903
1914
1922
1925
1928
1930
1899
1900
1911
1920
1924
1925
1930
1931

(यदि तिथि अज्ञात है या प्रासंगिक नहीं है, उदाहरण के लिए "द्रव यांत्रिकी", तो इसके उल्लेखनीय उद्भव का एक अनुमानित आंकड़ा प्रदान किया गया है)

नवीनतम परिवर्धन

शीर्ष पोस्ट और लेख

शीर्ष मूल उपकरण

10वां वर्ष सालगिरह

पंजीकृत सदस्यों के लिए पूर्ण आकार की छवियाँ और डाउनलोड 100% निःशुल्क उपलब्ध हैं।