गणन संख्या: Difference between revisions

Revision as of 00:08, 7 February 2023

एक विशेषण फ़ंक्शन, f: X → Y, सेट X से सेट Y तक दर्शाता है कि सेट में समान कार्डिनैलिटी है, इस स्थिति में प्रधान नंबर 4 के बराबर है।

aleph-अशक्त, सबसे छोटा अनंत प्रधान

गणित में, प्रधान नंबर, या संक्षेप में प्रधान, सेट (गणित) के कार्डिनैलिटी (आकार) को मापने के लिए उपयोग की जाने वाली प्राकृतिक संख्याओं का सामान्यीकरण है। परिमित सेट की प्रमुखता प्राकृतिक संख्या है: सेट में तत्वों की संख्या। 'अनंत संख्या' प्रधान नंबर, जिसे प्रायः हिब्रू प्रतीक का उपयोग करके दर्शाया जाता है $\aleph$ (एलेफ (हिब्रू)) सबस्क्रिप्ट के बाद, अनंत सेट के आकार का वर्णन करें।

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

प्रधान नंबरों का अनंत क्रम है:

0,1,2,3,\ldots ,n,\ldots ;\aleph _{0},\aleph _{1},\aleph _{2},\ldots ,\aleph _{\alpha },\ldots .\

यह अनुक्रम शून्य (परिमित प्रधान्स) सहित प्राकृतिक संख्याओं से शुरू होता है, जिसके बाद एलेफ़ संख्याएँ (सुव्यवस्थित सेटों के अनंत प्रधान्स) होती हैं। एलीफ नंबरों को क्रमिक संख्याओं द्वारा अनुक्रमित किया जाता है। पसंद के स्वयंसिद्ध की धारणा के तहत, इस असीम क्रम में प्रत्येक प्रधान संख्या सम्मलित है। यदि पसंद का स्वयंसिद्ध # स्वतंत्रता उस स्वयंसिद्ध है, तो स्थिति अधिक जटिल है, अतिरिक्त अनंत प्रधान्स के साथ जो एलेफ्स नहीं हैं।

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

इतिहास

कार्डिनैलिटी की धारणा, जैसा कि अब समझा जाता है, 1874-1884 में सेट सिद्धांत के प्रवर्तक जॉर्ज कैंटर द्वारा तैयार की गई थी। कार्डिनैलिटी का उपयोग परिमित सेट के पहलू की तुलना करने के लिए किया जा सकता है। उदाहरण के लिए, सेट {1,2,3} और {4,5,6} बराबर नहीं हैं, किन्तु ही कार्डिनैलिटी है, अर्थात् तीन। यह दो सेटों के Bच आक्षेप (अर्ताथ, एक-से-एक पत्राचार) के अस्तित्व से स्थापित होता है, जैसे कि पत्राचार {1→4, 2→5, 3→6}।

कैंटर ने अपनी आपत्ति की अवधारणा को अनंत सेटों पर लागू किया^[1] (उदाहरण के लिए प्राकृतिक संख्याओं का समुच्चय N = {0, 1, 2, 3, ...})। इस प्रकार, उन्होंने N काउंटेबल सेट के साथ आक्षेप वाले सभी सेटों को बुलाया। इस प्रधान नंबर को कहा जाता है $\aleph _{0}$ , अलेफ संख्या | अलेफ-नल। उन्होंने अनंत सेटों के प्रधान नंबरों को ट्रांसफिनिट प्रधान नंबर कहा।

कैंटर ने सिद्ध किया कि N के किसी भी बंधे हुए सेट में N के समान ही कार्डिनैलिटी है, भले ही यह अंतर्ज्ञान के विपरीत प्रतीत हो। उन्होंने यह भी सिद्ध किया कि प्राकृतिक संख्याओं के सभी क्रमित युग्मों का समुच्चय अगणनीय है; इसका तात्पर्य यह है कि सभी परिमेय संख्याओं का समुच्चय भी भाज्य है, क्योंकि प्रत्येक परिमेय संख्या को पूर्णांकों की जोड़ी द्वारा दर्शाया जा सकता है। उन्होंने बाद में सिद्ध किया कि सभी वास्तविक Bजगणितीय संख्याओं का समुच्चय भी अभाज्य होता है। प्रत्येक वास्तविक Bजगणितीय संख्या z को पूर्णांकों के परिमित अनुक्रम के रूप में N्कोड किया जा सकता है, जो बहुपद समीकरण में गुणांक हैं, जिसका यह समाधान है, अर्थात आदेशित n-tuple (a₀, ए₁, ..., ए_n), ए_i∈ 'Z' परिमेय की जोड़ी के साथ (B₀, B₁) ऐसा है कि गुणांक के साथ बहुपद की अनूठी जड़ है (ए₀, एक₁, ..., ए_n) जो अंतराल में है (B₀, B₁).

अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल Bजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के प्रधान नंबर सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के सेट में N की तुलना में कार्डिनैलिटी अधिक है। उनके प्रमाण ने नेस्टेड के साथ तर्क का उपयोग किया अंतराल, किन्तु 1891 के पेपर में, उन्होंने अपने सरल और बहुत सरल कैंटर के विकर्ण तर्क का उपयोग करके उसी परिणाम को सिद्ध कर दिया। वास्तविक संख्याओं के सेट की नई प्रधान संख्या को सातत्य की प्रमुखता कहा जाता है और कैंटर ने प्रतीक का उपयोग किया ${\mathfrak {c}}$ इसके लिए।

कैंटर ने प्रधान संख्या के सामान्य सिद्धांत का बड़ा हिस्सा भी विकसित किया; उन्होंने सिद्ध किया कि सबसे छोटी ट्रांसफिनिट प्रधान संख्या है ( $\aleph _{0}$ , aleph-null), और यह कि प्रत्येक प्रधान संख्या के लिए अगला बड़ा प्रधान होता है

(\aleph _{1},\aleph _{2},\aleph _{3},\ldots ).

उनकी सातत्य परिकल्पना यह प्रस्ताव है कि कार्डिनैलिटी ${\mathfrak {c}}$ वास्तविक संख्याओं के समुच्चय के समान है $\aleph _{1}$ . यह परिकल्पना गणितीय सेट सिद्धांत के मानक स्वयंसिद्धों से स्वतंत्र है, अर्थात यह न तो उनसे सिद्ध किया जा सकता है और न ही अप्रमाणित। यह 1963 में पॉल कोहेन (गणितज्ञ) द्वारा दिखाया गया था, जो 1940 में कर्ट गोडेल द्वारा पहले के कार्य का पूरक था।

प्रेरणा

अनौपचारिक उपयोग में, क्रमसूचक संख्या वह होता है जिसे सामान्यतः गिनती संख्या के रूप में संदर्भित किया जाता है, बशर्ते कि 0 सम्मलित हो: 0, 1, 2, .... उन्हें 0 से शुरू होने वाली प्राकृतिक संख्याओं के साथ पहचाना जा सकता है। गिनती संख्याएं हैं वास्तव में क्या औपचारिक रूप से परिमित सेट प्रधान संख्या के रूप में परिभाषित किया जा सकता है। अनंत प्रधान केवल उच्च स्तर के गणित और तर्कशास्त्र में होते हैं।

अधिक औपचारिक रूप से, गैर-शून्य संख्या का उपयोग दो उद्देश्यों के लिए किया जा सकता है: सेट के आकार का वर्णन करने के लिए, या किसी क्रम में किसी तत्व की स्थिति का वर्णन करने के लिए। परिमित समुच्चयों और अनुक्रमों के लिए यह देखना आसान है कि ये दो धारणाएँ मेल खाती हैं, क्योंकि अनुक्रम में किसी स्थिति का वर्णन करने वाली प्रत्येक संख्या के लिए हम ऐसे समुच्चय का निर्माण कर सकते हैं जिसका आकार बिल्कुल सही हो। उदाहरण के लिए, 3 अनुक्रम <'a', 'b', 'c', 'd',...> में 'c' की स्थिति का वर्णन करता है, और हम सेट {a,b,c} का निर्माण कर सकते हैं, जिसमें 3 तत्व हों।

चूंकि, अनंत सेटों के साथ व्यवहार करते समय, दोनों के Bच अंतर करना आवश्यक है, क्योंकि दो धारणाएं वास्तव में अनंत सेटों के लिए अलग-अलग हैं। स्थिति पहलू को ध्यान में रखते हुए क्रमिक संख्याएं होती हैं, जबकि आकार पहलू को यहां वर्णित प्रधान संख्याओं द्वारा सामान्यीकृत किया जाता है।

प्रधान की औपचारिक परिभाषा के पीछे अंतर्ज्ञान सेट के सापेक्ष आकार या बड़ेपन की धारणा का निर्माण है, बिना इसके सदस्यों के प्रकार के संदर्भ में। परिमित समुच्चयों के लिए यह आसान है; one बस सेट में सम्मलित तत्वों की संख्या को गिनता है। बड़े सेटों के आकार की तुलना करने के लिए, अधिक परिष्कृत धारणाओं को अपील करना आवश्यक है।

एक सेट Y कम से कम सेट X जितना बड़ा होता है यदि X के तत्वों से Y के तत्वों के लिए इंजेक्शन समारोह मैप (गणित) होता है। इंजेक्शन मैपिंग सेट X के प्रत्येक तत्व को सेट के अद्वितीय तत्व के साथ पहचानती है Y. इसे उदाहरण से सबसे सरलता से समझा जा सकता है; मान लें कि हमारे पास X = {1,2,3} और Y = {a,b,c,d} सेट हैं, तो आकार की इस धारणा का उपयोग करके, हम देखेंगे कि मैपिंग है:

1 → अ

2 → B

3 → सी

जो अंतःक्षेपी है, और इसलिए यह निष्कर्ष निकालता है कि Y की कार्डिनैलिटी X से अधिक या उसके बराबर है। तत्व d में इसके लिए कोई तत्व मानचित्रण नहीं है, किन्तु इसकी अनुमति है क्योंकि हमें केवल अंतःक्षेपी मानचित्रण की आवश्यकता है, न कि विशेषण मानचित्रण की। इस धारणा का लाभ यह है कि इसे अनंत सेटों तक बढ़ाया जा सकता है।

इसके बाद हम इसे समानता-शैली के संबंध में बढ़ा सकते हैं। दो सेट (गणित) X और Y को समान कार्डिनैलिटी कहा जाता है यदि X और Y के Bच आक्षेप सम्मलित है। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा | X से Y, और Y से X तक इंजेक्शन मैपिंग। फिर हम |X| लिखते हैं = |Y|। X की प्रधान संख्या को प्रायः कम से कम क्रमिक ए के साथ परिभाषित किया जाता है = |X|।^[2] इसे वॉन न्यूमैन प्रधान असाइनमेंट कहा जाता है; इस परिभाषा को समझने के लिए, यह सिद्ध किया जाना चाहिए कि प्रत्येक सेट में कुछ क्रमवाचक के समान ही प्रमुखता होती है; यह कथन सुव्यवस्थित सिद्धांत है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना सेट की सापेक्ष कार्डिनैलिटी पर चर्चा करना संभव है।

उपयोग किया जाने वाला क्लासिक उदाहरण अनंत होटल विरोधाभास का है, जिसे ग्रांड होटल का हिल्बर्ट का विरोधाभास भी कहा जाता है। मान लीजिए कि होटल में सराय का मालिक है, जिसके पास अनंत संख्या में कमरे हैं। होटल भरा हुआ है, और फिर नया मेहमान आता है। कमरे 1 में सम्मलित अतिथि को कमरे 2 में जाने के लिए, कमरे 2 में अतिथि को कमरे 3 में जाने के लिए, और इसी तरह कमरा 1 को खाली छोड़कर अतिरिक्त अतिथि को फिट करना संभव है। हम इस मानचित्रण का खंड स्पष्ट रूप से लिख सकते हैं:

1 → 2

2 → 3

3 → 4

...

n→ n + 1

...

इस असाइनमेंट के साथ, हम देख सकते हैं कि सेट {1,2,3,...} में सेट {2,3,4,...} के समान कार्डिनैलिटी है, क्योंकि पहले और दूसरे के Bच आपत्ति है दिखाया गया। यह अनंत सेट की परिभाषा को किसी भी सेट के रूप में प्रेरित करता है जिसमें समान कार्डिनैलिटी (अर्ताथ, डेडेकिंड-अनंत सेट) का उचित उपसमुच्चय होता है; इस स्थिति में {2,3,4,...} {1,2,3,...} का उचित उपसमुच्चय है।

इन बड़ी वस्तुओं पर विचार करते समय, कोई भी यह देखना चाह सकता है कि क्या गणना क्रम की धारणा इन अनंत सेटों के लिए ऊपर परिभाषित प्रधान के साथ मेल खाती है। ऐसा होता है कि ऐसा नहीं होता; उपरोक्त उदाहरण पर विचार करके हम देख सकते हैं कि यदि कोई वस्तु अनंत से बड़ी है, तो उसमें वही कार्डिनैलिटी होनी चाहिए जो अनंत सेट के साथ हमने शुरू की थी। संख्या के लिए अलग औपचारिक धारणा का उपयोग करना संभव है, जिसे क्रमिक संख्या कहा जाता है, गिनती के विचारों के आधार पर और प्रत्येक संख्या पर बारी-बारी से विचार किया जाता है, और हमें पता चलता है कि बार जब हम परिमित संख्या से बाहर निकल जाते हैं तो कार्डिनैलिटी और ऑर्डिनलिटी की धारणाएँ अलग हो जाती हैं।

यह सिद्ध किया जा सकता है कि वास्तविक संख्याओं की कार्डिनैलिटी अभी वर्णित प्राकृतिक संख्याओं की तुलना में अधिक है। कैंटर के विकर्ण तर्क का उपयोग करके इसकी कल्पना की जा सकती है; कार्डिनैलिटी के क्लासिक प्रश्न (उदाहरण के लिए सातत्य परिकल्पना) यह पता लगाने से संबंधित हैं कि क्या अन्य अनंत प्रधान्स की कुछ जोड़ी के Bच कुछ प्रधान है। हाल के दिनों में, गणितज्ञ बड़े और बड़े प्रधान के गुणों का वर्णन करते रहे हैं।

चूँकि गणित में कार्डिनैलिटी ऐसी सामान्य अवधारणा है, इसलिए विभिन्न प्रकार के नाम उपयोग में हैं। कार्डिनैलिटी की समरूपता को कभी-कभी समता, समता, या समतुल्यता के रूप में संदर्भित किया जाता है। इस प्रकार यह कहा जाता है कि समान कार्डिनैलिटी वाले दो समुच्चय क्रमश: समशक्ति, समशक्ति या समविभव होते हैं।

औपचारिक परिभाषा

औपचारिक रूप से, पसंद के स्वयंसिद्ध को मानते हुए, सेट X की कार्डिनैलिटी कम से कम क्रमिक संख्या α है जैसे कि X और α के Bच आपत्ति है। इस परिभाषा को वॉन न्यूमैन प्रधान असाइनमेंट के रूप में जाना जाता है। यदि पसंद का स्वयंसिद्ध नहीं माना जाता है, तो अलग दृष्टिकोण की आवश्यकता होती है। सेट X की कार्डिनालिटी की सबसे पुरानी परिभाषा (कैंटर में निहित और फ्रीज और गणितीय सिद्धांत में स्पष्ट) सभी सेटों के वर्ग [X] के रूप में है जो X के समतुल्य हैं। यह जेडएफसी या स्वयंसिद्ध के अन्य संबंधित प्रणालियों में कार्य नहीं करता है सेट थ्योरी क्योंकि यदि X खाली नहीं है, तो यह संग्रह सेट होने के लिए बहुत बड़ा है। वास्तव में, X ≠ ∅ के लिए समुच्चय m को {m} × X पर मैप करके ब्रह्मांड से [X] में अंतःक्षेपण होता है, और इसलिए आकार की सीमा के अभिगृहीत द्वारा, [X] उचित वर्ग है। परिभाषा चूंकि प्रकार सिद्धांत और नई नींव और संबंधित प्रणालियों में कार्य करती है। चूंकि, अगर हम इस वर्ग से X के साथ समतुल्य तक सीमित हैं जिनके पास कम से कम रैंक (सेट सिद्धांत) है, तो यह कार्य करेगा (यह दाना स्कॉट के कारण चाल है:^[3] यह कार्य करता है क्योंकि किसी दिए गए रैंक वाले ऑब्जेक्ट्स का संग्रह सेट है)।

वॉन न्यूमैन प्रधान असाइनमेंट का तात्पर्य है कि परिमित सेट की प्रधान संख्या उस सेट के सभी संभावित क्रमों की सामान्य क्रमिक संख्या है, और प्रधान और क्रमिक अंकगणित (इसके अतिरिक्त, गुणा, शक्ति, उचित घटाव) फिर परिमित के लिए समान उत्तर दें नंबर। चूंकि, वे अनंत संख्याओं के लिए भिन्न हैं। उदाहरण के लिए, $2^{\omega }=\omega <\omega ^{2}$ क्रमिक अंकगणित में जबकि $2^{\aleph _{0}}>\aleph _{0}=\aleph _{0}^{2}$ प्रधान अंकगणित में, चूंकि वॉन न्यूमैन असाइनमेंट डालता है $\aleph _{0}=\omega$ . दूसरी ओर, स्कॉट की चाल का अर्थ है कि प्रधान संख्या 0 है $\{\emptyset \}$ , जो क्रमांक 1 भी है, और यह भ्रमित करने वाला हो सकता है। संभावित समझौता (अनंत अंकगणित में पसंद और भ्रम की स्वयंसिद्धता पर निर्भरता से बचने के समय परिमित अंकगणित में संरेखण का लाभ उठाने के लिए) वॉन न्यूमैन असाइनमेंट को परिमित सेटों के प्रधान नंबरों पर लागू करना है (जो अच्छी तरह से आदेशित हो सकते हैं और नहीं हैं) उचित उपसमुच्चयों के लिए समबल) और अन्य सेटों की प्रधान संख्याओं के लिए स्कॉट की चाल का उपयोग करने के लिए।

औपचारिक रूप से, प्रधान नंबरों के Bच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y|। पसंद का अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X| दिए गए हैं ≤ |Y| या |Y| ≤ |X|।^[4]^[5] एक समुच्चय X Dedekind-अनंत है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और डेडेकाइंड परिमित यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय प्रधान केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए। कोई अन्य समुच्चय अनंत समुच्चय होता है।

पसंद के स्वयंसिद्ध को मानते हुए, यह सिद्ध किया जा सकता है कि डेडेकाइंड की धारणा मानक के अनुरूप है। यह भी सिद्ध किया जा सकता है कि प्रधान $\aleph _{0}$ (अलेफ नल या एलेफ-0, जहां एलेफ हिब्रू वर्णमाला में पहला अक्षर है, दर्शाया गया है $\aleph$ ) प्राकृतिक संख्याओं के सेट का सबसे छोटा अनंत प्रधान है (अर्ताथ, किसी भी अनंत सेट में कार्डिनैलिटी का सबसेट है $\aleph _{0}$ ). अगले बड़े प्रधान द्वारा दर्शाया गया है $\aleph _{1}$ , और इसी तरह। प्रत्येक क्रमिक संख्या α के लिए, प्रधान संख्या होती है $\aleph _{\alpha },$ और यह सूची सभी अनंत प्रधान नंबरों को समाप्त कर देती है।

प्रधान अंकगणित

हम मूल संख्याओं पर अंकगणितीय संक्रियाओं को परिभाषित कर सकते हैं जो प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं का सामान्यीकरण करती हैं। यह दिखाया जा सकता है कि परिमित प्रधान के लिए, ये संक्रियाएँ प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं के साथ मेल खाती हैं। इसके अतिरिक्त, ये ऑपरेशन साधारण अंकगणित के साथ कई गुण साझा करते हैं।

उत्तराधिकारी प्रधान

यदि पसंद का स्वयंसिद्ध धारण करता है, तो प्रत्येक प्रधान κ का उत्तराधिकारी होता है, जिसे κ दर्शाया जाता है⁺, जहां κ⁺ > κ और κ और उसके उत्तराधिकारी के Bच कोई प्रधान नहीं है। (पसंद के अभिगृहीत के बिना, Hartogs number|Hartogs' प्रमेय का उपयोग करके, यह दिखाया जा सकता है कि किसी भी प्रधान संख्या κ के लिए, न्यूनतम प्रधान κ है⁺ ऐसा कि $\kappa ^{+}\nleq \kappa .$ ) परिमित प्रधान के लिए, उत्तराधिकारी केवल κ + 1 है। अनंत प्रधान के लिए, उत्तराधिकारी प्रधान उत्तराधिकारी क्रमसूचक से भिन्न होता है।

प्रधान जोड़

यदि X और Y असम्बद्ध समुच्चय हैं, तो जोड़ X और Y के मिलन (समुच्चय सिद्धांत) द्वारा दिया जाता है। यदि दो समुच्चय पहले से ही असंयुक्त नहीं हैं, तो उन्हें समान प्रधान संख्या के असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जा सकता है (उदाहरण के लिए, X द्वारा प्रतिस्थापित करें) X×{0} और Y by Y×{1}).

|X|+|Y|=|X\cup Y|.

^[6]

शून्य योगात्मक पहचान है κ + 0 = 0 + κ = κ।

जोड़ साहचर्य (κ + μ) + ν = κ + (μ + ν) है।

योग विनिमेय κ + μ = μ + κ है।

जोड़ दोनों तर्कों में गैर-घट रहा है:

(\kappa \leq \mu )\rightarrow ((\kappa +\nu \leq \mu +\nu ){\mbox{ and }}(\nu +\kappa \leq \nu +\mu )).

पसंद के स्वयंसिद्ध को मानते हुए, अनंत प्रधान संख्याओं का जोड़ आसान है। यदि या तो κ या μ अपरिमित है, तब

\kappa +\mu =\max\{\kappa ,\mu \}\,.

घटाव

पसंद के स्वयंसिद्ध मानते हुए और, अनंत प्रधान σ और प्रधान μ दिए जाने पर, प्रधान κ सम्मलित है जैसे कि μ + κ = σ अगर और केवल अगर μ ≤ σ। यह अद्वितीय (और σ के बराबर) होगा यदि और केवल यदि μ < σ।

प्रधान गुणन

प्रधान्स का उत्पाद कार्टेशियन उत्पाद से आता है।

|X|\cdot |Y|=|X\times Y|

^[7]

κ·0 = 0·κ = 0.

κ·μ = 0 → (κ = 0 या μ = 0)।

एक गुणक पहचान κ·1 = 1·κ = κ है।

गुणा सहयोगी है (κ·μ)·ν = κ·(μ·ν)।

गुणन कम्यूटेटिव κ·μ = μ·κ है।

गुणा दोनों तर्कों में गैर-घट रहा है: κ ≤ μ → (κ·ν ≤ μ·ν और ν·κ ≤ ν·μ).

योग पर गुणन वितरण:

κ·(μ + ν) = κ·μ + κ·ν और (M + N) · K = M · K + N · K।

पसंद के स्वयंसिद्ध को मानते हुए, अनंत प्रधान संख्याओं का गुणन भी आसान है। यदि या तो κ या μ अनंत है और दोनों गैर-शून्य हैं, तो

\kappa \cdot \mu =\max\{\kappa ,\mu \}.

विभाग

पसंद के स्वयंसिद्ध को मानते हुए और, अनंत प्रधान π और गैर-शून्य प्रधान μ दिए जाने पर, प्रधान κ सम्मलित है जैसे कि μ · κ = π अगर और केवल अगर μ ≤ π। यह अद्वितीय (और π के बराबर) होगा जब μ < π का मान होगा।

प्रधान घातांक

घातांक किसके द्वारा दिया जाता है

|X|^{|Y|}=\left|X^{Y}\right|,

जहां X^Y, Y से X तक सभी प्रकार्य (गणित) का समुच्चय है।^[8]

K⁰ = 1 (विशेष रूप से 0⁰ = 1), खाली कार्य देखें।

यदि 1 ≤ μ, तो 0^μ = 0।

1^μ = 1।

K¹ = μ

K^{m + n = K^m·μⁿ}

K^{m · n = (m^{μ)^n.}}

(μ)^{n = K^{m·m^n.}}

दोनों तर्कों में घातांक गैर-घट रहा है:

(1 ≤ ν और κ ≤ μ) → (ν^{K ≤ N^मी)}

(κ ≤ μ) → (κ^{n ≤ m^n).}

2^|X| सेट X के सत्ता स्थापित की कार्डिनैलिटी है और कैंटर के विकर्ण तर्क से पता चलता है कि 2^|X| > |X| किसी भी सेट X के लिए। यह सिद्ध करता है कि कोई भी सबसे बड़ा प्रधान सम्मलित नहीं है (क्योंकि किसी भी प्रधान κ के लिए, हम हमेशा बड़ा प्रधान 2 पा सकते हैं^κ). वास्तव में, प्रधान्स का वर्ग (सेट सिद्धांत) उचित वर्ग है। (यह प्रमाण कुछ सेट सिद्धांतों, विशेष रूप से न्यू फ़ाउंडेशन में विफल रहता है।)

इस खंड में शेष सभी प्रस्ताव पसंद के स्वयंसिद्ध मानते हैं:

यदि κ और μ दोनों सीमित हैं और 1 से अधिक हैं, और ν अनंत है, तो κ^{n = m^n.}

यदि κ अनंत है और μ परिमित और गैर-शून्य है, तो κ^μ = κ.

यदि 2 ≤ κ और 1 ≤ μ और उनमें से कम से कम अपरिमित है, तो:

max (κ, 2^μ) ≤ K^μ ≤ अधिकतम (2^{2^μ).}

कोनिग के प्रमेय (सेट सिद्धांत) का उपयोग करना | कोनिग के प्रमेय, कोई भी κ < κ सिद्ध कर सकता है^cf(κ) और κ <cf(2^κ) किसी अनंत प्रधान κ के लिए, जहां cf(κ) κ की अंतिमता है।

जड़ें

पसंद के स्वयंसिद्ध को मानते हुए और, अनंत प्रधान κ और परिमित प्रधान μ 0 से अधिक दिया गया, प्रधान ν संतोषजनक $\nu ^{\mu }=\kappa$ होगा $\kappa$ .

लघुगणक

पसंद के स्वयंसिद्ध को मानते हुए और, अनंत प्रधान κ और परिमित प्रधान μ 1 से अधिक दिया गया है, प्रधान λ संतोषजनक हो सकता है या नहीं भी हो सकता है $\mu ^{\lambda }=\kappa$ . चूंकि, यदि ऐसा प्रधान सम्मलित है, तो यह अनंत है और κ से कम है, और 1 से अधिक कोई परिमित कार्डिनैलिटी भी संतुष्ट करेगी $\nu ^{\lambda }=\kappa$ .

एक अनंत प्रधान संख्या κ के लघुगणक को कम से कम प्रधान संख्या μ के रूप में परिभाषित किया गया है जैसे कि κ ≤ 2^μ. गणित के कुछ क्षेत्रों में अनंत प्रधान के लॉगरिदम उपयोगी होते हैं, उदाहरण के लिए टोपोलॉजिकल स्पेस स्थान के प्रधान अपरिवर्तनीय के अध्ययन में, चूंकि उनमें कुछ गुणों की कमी होती है जो सकारात्मक वास्तविक संख्याओं के लॉगरिदम के पास होती हैं।^[9]^[10]^[11]

सातत्य परिकल्पना

सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के Bच कोई प्रधान नहीं हैं $\aleph _{0}$ और $2^{\aleph _{0}}.$ बाद के प्रधान नंबर को भी प्रायः द्वारा निरूपित किया जाता है ${\mathfrak {c}}$ ; यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है। इस स्थिति में $2^{\aleph _{0}}=\aleph _{1}.$ इसी तरह, सामान्यीकृत सातत्य परिकल्पना (जीसीएच) कहती है कि प्रत्येक अनंत प्रधान के लिए $\kappa$ , Bच में सख्ती से कोई प्रधान नहीं हैं $\kappa$ और $2^{\kappa }$ . सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों सेट सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के साथ।

दरअसल, ईस्टन के प्रमेय से पता चलता है कि, नियमित प्रधान्स के लिए $\kappa$ , केवल ZFC की कार्डिनैलिटी पर प्रतिबंध लगाता है $2^{\kappa }$ वो है $\kappa <\operatorname {cf} (2^{\kappa })$ , और यह कि घातीय फलन गैर-घटता है।

यह भी देखें

अलेफ संख्या
बेथ संख्या
कैंटर का विरोधाभास
कार्डिनल नंबर (भाषा विज्ञान)
गिनती
समावेश-बहिष्करण सिद्धांत
बड़ा कार्डिनल
अंग्रेजी में संख्याओं के नाम
नाममात्र संख्या
क्रमसूचक संख्या
नियमित कार्डिनल

संदर्भ

Notes

↑ Dauben 1990, pg. 54
↑ Weisstein, Eric W. "Cardinal Number". mathworld.wolfram.com (in English). Retrieved 2020-09-06.
↑ Deiser, Oliver (May 2010). "On the Development of the Notion of a Cardinal Number". History and Philosophy of Logic. 31 (2): 123–143. doi:10.1080/01445340903545904. S2CID 171037224.
↑ Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. ISBN 0-12-238440-7
↑ Friedrich M. Hartogs (1915), Felix Klein; Walther von Dyck; David Hilbert; Otto Blumenthal (eds.), "Über das Problem der Wohlordnung", Math. Ann., Leipzig: B. G. Teubner, Bd. 76 (4): 438–443, doi:10.1007/bf01458215, ISSN 0025-5831, S2CID 121598654, archived from the original on 2016-04-16, retrieved 2014-02-02
↑ Schindler 2014, pg. 34
↑ Schindler 2014, pg. 34
↑ Schindler 2014, pg. 34
↑ Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, Springer-Verlag.
↑ Eduard Čech, Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.
↑ D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.

Bibliography

Dauben, Joseph Warren (1990), Georg Cantor: His Mathematics and Philosophy of the Infinite, Princeton: Princeton University Press, ISBN 0691-02447-2
Hahn, Hans, Infinity, Part IX, Chapter 2, Volume 3 of The World of Mathematics. New York: Simon and Schuster, 1956.
Halmos, Paul, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
Schindler, Ralf-Dieter (2014). Set theory : exploring independence and truth. Universitext. Cham: Springer-Verlag. doi:10.1007/978-3-319-06725-4. ISBN 978-3-319-06725-4.

बाहरी कड़ियाँ

"Cardinal number", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[1] Dauben 1990, pg. 54

[2] Weisstein, Eric W. "Cardinal Number". mathworld.wolfram.com (in English). Retrieved 2020-09-06.

[3] Deiser, Oliver (May 2010). "On the Development of the Notion of a Cardinal Number". History and Philosophy of Logic. 31 (2): 123–143. doi:10.1080/01445340903545904. S2CID 171037224.

[Enderton-4] Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. ISBN 0-12-238440-7

[5] Friedrich M. Hartogs (1915), Felix Klein; Walther von Dyck; David Hilbert; Otto Blumenthal (eds.), "Über das Problem der Wohlordnung", Math. Ann., Leipzig: B. G. Teubner, Bd. 76 (4): 438–443, doi:10.1007/bf01458215, ISSN 0025-5831, S2CID 121598654, archived from the original on 2016-04-16, retrieved 2014-02-02

[6] Schindler 2014, pg. 34

[7] Schindler 2014, pg. 34

[8] Schindler 2014, pg. 34

[9] Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, Springer-Verlag.

[10] Eduard Čech, Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.

[11] D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 2: / Line 2: @@
 {{about|गणितीय अवधारणा|संख्या शब्द मात्रा का संकेत देते हैं ("तीन" सेब, "चार" पक्षी, आदि)|कार्डिनल अंक}}
-[[File:Bijection.svg|thumb|200px|एक विशेषण फ़ंक्शन, f: X → Y, सेट X से सेट Y तक दर्शाता है कि सेट में समान कार्डिनैलिटी है, इस स्थिति में कार्डिनल नंबर 4 के बराबर है।]]
+[[File:Bijection.svg|thumb|200px|एक विशेषण फ़ंक्शन, f: X → Y, सेट X से सेट Y तक दर्शाता है कि सेट में समान कार्डिनैलिटी है, इस स्थिति में प्रधान नंबर 4 के बराबर है।]]
-[[File:Aleph0.svg|thumb|right|150px|[[aleph-अशक्त]], सबसे छोटा अनंत कार्डिनल]][[गणित]] में, कार्डिनल नंबर, या संक्षेप में कार्डिनल, [[सेट (गणित)]] के कार्डिनैलिटी (आकार) को मापने के लिए उपयोग की जाने वाली [[प्राकृतिक संख्या]]ओं का सामान्यीकरण है। [[परिमित सेट]] की [[प्रमुखता]] प्राकृतिक संख्या है: सेट में तत्वों की संख्या। '[[अनंत संख्या]]' कार्डिनल नंबर, जिसे प्रायः हिब्रू प्रतीक का उपयोग करके दर्शाया जाता है <math>\aleph</math> ([[एलेफ (हिब्रू)]]) सबस्क्रिप्ट के बाद, [[अनंत सेट]] के आकार का वर्णन करें।
+[[File:Aleph0.svg|thumb|right|150px|[[aleph-अशक्त]], सबसे छोटा अनंत प्रधान]][[गणित]] में, प्रधान नंबर, या संक्षेप में प्रधान, [[सेट (गणित)]] के कार्डिनैलिटी (आकार) को मापने के लिए उपयोग की जाने वाली [[प्राकृतिक संख्या]]ओं का सामान्यीकरण है। [[परिमित सेट]] की [[प्रमुखता]] प्राकृतिक संख्या है: सेट में तत्वों की संख्या। '[[अनंत संख्या]]' प्रधान नंबर, जिसे प्रायः हिब्रू प्रतीक का उपयोग करके दर्शाया जाता है <math>\aleph</math> ([[एलेफ (हिब्रू)]]) सबस्क्रिप्ट के बाद, [[अनंत सेट]] के आकार का वर्णन करें।
-कार्डिनलिटी को विशेषण कार्यों के संदर्भ में परिभाषित किया गया है। दो सेटों में समान कार्डिनैलिटी होती है, और केवल अगर, दो सेटों के तत्वों के Bच एक-से-एक पत्राचार (आक्षेप) होता है। परिमित सेट के स्थिति में, यह आकार की सहज धारणा से सहमत है। अपरिमित समुच्चयों की स्थिति में व्यवहार अधिक जटिल होता है। [[जॉर्ज कैंटर]] के कारण मौलिक प्रमेय से पता चलता है कि अनंत सेटों के लिए अलग-अलग कार्डिनैलिटी होना संभव है, और विशेष रूप से [[वास्तविक संख्या]]ओं के सेट की कार्डिनैलिटी प्राकृतिक संख्याओं के सेट की कार्डिनैलिटी से अधिक है। अनंत समुच्चय के उचित उपसमुच्चय के लिए मूल समुच्चय के समान प्रमुखता होना भी संभव है - ऐसा कुछ जो परिमित समुच्चय के उचित उपसमुच्चय के साथ नहीं हो सकता।
+प्रधान संख्या को विशेषण कार्यों के संदर्भ में परिभाषित किया गया है। दो सेटों में समान कार्डिनैलिटी होती है, और केवल अगर, दो सेटों के तत्वों के Bच एक-से-एक पत्राचार (आक्षेप) होता है। परिमित सेट के स्थिति में, यह आकार की सहज धारणा से सहमत है। अपरिमित समुच्चयों की स्थिति में व्यवहार अधिक जटिल होता है। [[जॉर्ज कैंटर]] के कारण मौलिक प्रमेय से पता चलता है कि अनंत सेटों के लिए अलग-अलग कार्डिनैलिटी होना संभव है, और विशेष रूप से [[वास्तविक संख्या]]ओं के सेट की कार्डिनैलिटी प्राकृतिक संख्याओं के सेट की कार्डिनैलिटी से अधिक है। अनंत समुच्चय के उचित उपसमुच्चय के लिए मूल समुच्चय के समान प्रमुखता होना भी संभव है - ऐसा कुछ जो परिमित समुच्चय के उचित उपसमुच्चय के साथ नहीं हो सकता।
-कार्डिनल नंबरों का अनंत क्रम है:
+प्रधान नंबरों का अनंत क्रम है:
 :<math>0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots.\ </math>
-यह अनुक्रम शून्य (परिमित कार्डिनल्स) सहित प्राकृतिक संख्याओं से शुरू होता है, जिसके बाद एलेफ़ संख्याएँ ([[सुव्यवस्थित]] सेटों के अनंत कार्डिनल्स) होती हैं। एलीफ नंबरों को क्रमिक संख्याओं द्वारा अनुक्रमित किया जाता है। पसंद के स्वयंसिद्ध की धारणा के तहत, इस असीम क्रम में प्रत्येक कार्डिनल संख्या सम्मलित है। यदि पसंद का स्वयंसिद्ध # स्वतंत्रता उस स्वयंसिद्ध है, तो स्थिति अधिक जटिल है, अतिरिक्त अनंत कार्डिनल्स के साथ जो एलेफ्स नहीं हैं।
+यह अनुक्रम शून्य (परिमित प्रधान्स) सहित प्राकृतिक संख्याओं से शुरू होता है, जिसके बाद एलेफ़ संख्याएँ ([[सुव्यवस्थित]] सेटों के अनंत प्रधान्स) होती हैं। एलीफ नंबरों को क्रमिक संख्याओं द्वारा अनुक्रमित किया जाता है। पसंद के स्वयंसिद्ध की धारणा के तहत, इस असीम क्रम में प्रत्येक प्रधान संख्या सम्मलित है। यदि पसंद का स्वयंसिद्ध # स्वतंत्रता उस स्वयंसिद्ध है, तो स्थिति अधिक जटिल है, अतिरिक्त अनंत प्रधान्स के साथ जो एलेफ्स नहीं हैं।
 [[समुच्चय सिद्धान्त]] के हिस्से के रूप में कार्डिनैलिटी का अध्ययन स्वयं के लिए किया जाता है। यह [[मॉडल सिद्धांत]], [[साहचर्य]], अमूर्त Bजगणित और [[गणितीय विश्लेषण]] सहित गणित की शाखाओं में उपयोग किया जाने वाला उपकरण भी है। [[श्रेणी सिद्धांत]] में, [[क्रमसूचक संख्या]] [[सेट की श्रेणी]] का [[कंकाल (श्रेणी सिद्धांत)]] बनाते हैं।
@@ Line 18: / Line 18: @@
 कार्डिनैलिटी की धारणा, जैसा कि अब समझा जाता है, 1874-1884 में सेट सिद्धांत के प्रवर्तक जॉर्ज कैंटर द्वारा तैयार की गई थी। कार्डिनैलिटी का उपयोग परिमित सेट के पहलू की तुलना करने के लिए किया जा सकता है। उदाहरण के लिए, सेट {1,2,3} और {4,5,6} बराबर नहीं हैं, किन्तु ही कार्डिनैलिटी है, अर्थात् तीन। यह दो सेटों के Bच आक्षेप (अर्ताथ, एक-से-एक पत्राचार) के अस्तित्व से स्थापित होता है, जैसे कि पत्राचार {1→4, 2→5, 3→6}।
-कैंटर ने अपनी आपत्ति की अवधारणा को अनंत सेटों पर लागू किया<ref>{{harvnb|Dauben|1990|loc=pg. 54}}</ref> (उदाहरण के लिए प्राकृतिक संख्याओं का समुच्चय N = {0, 1, 2, 3, ...})। इस प्रकार, उन्होंने N काउंटेबल सेट के साथ आक्षेप वाले सभी सेटों को बुलाया। इस कार्डिनल नंबर को कहा जाता है <math>\aleph_0</math>, अलेफ संख्या | अलेफ-नल। उन्होंने अनंत सेटों के कार्डिनल नंबरों को [[ट्रांसफिनिट कार्डिनल नंबर]] कहा।
+कैंटर ने अपनी आपत्ति की अवधारणा को अनंत सेटों पर लागू किया<ref>{{harvnb|Dauben|1990|loc=pg. 54}}</ref> (उदाहरण के लिए प्राकृतिक संख्याओं का समुच्चय N = {0, 1, 2, 3, ...})। इस प्रकार, उन्होंने N काउंटेबल सेट के साथ आक्षेप वाले सभी सेटों को बुलाया। इस प्रधान नंबर को कहा जाता है <math>\aleph_0</math>, अलेफ संख्या | अलेफ-नल। उन्होंने अनंत सेटों के प्रधान नंबरों को [[ट्रांसफिनिट कार्डिनल नंबर|ट्रांसफिनिट प्रधान नंबर]] कहा।
 कैंटर ने सिद्ध किया कि N के किसी भी बंधे हुए सेट में N के समान ही कार्डिनैलिटी है, भले ही यह अंतर्ज्ञान के विपरीत प्रतीत हो। उन्होंने यह भी सिद्ध किया कि प्राकृतिक संख्याओं के सभी [[क्रमित युग्म]]ों का समुच्चय अगणनीय है; इसका तात्पर्य यह है कि सभी परिमेय संख्याओं का समुच्चय भी भाज्य है, क्योंकि प्रत्येक परिमेय संख्या को पूर्णांकों की जोड़ी द्वारा दर्शाया जा सकता है। उन्होंने बाद में सिद्ध किया कि सभी वास्तविक [[बीजगणितीय संख्या|Bजगणितीय संख्या]]ओं का समुच्चय भी अभाज्य होता है। प्रत्येक वास्तविक Bजगणितीय संख्या ''z '' को पूर्णांकों के परिमित अनुक्रम के रूप में N्कोड किया जा सकता है, जो बहुपद समीकरण में गुणांक हैं, जिसका यह समाधान है, अर्थात आदेशित n-tuple (''a''<sub>0</sub>, ए<sub>1</sub>, ..., ए<sub>n</sub>), ए<sub>i</sub>∈ 'Z' परिमेय की जोड़ी के साथ (B<sub>0</sub>, B<sub>1</sub>) ऐसा है कि गुणांक के साथ बहुपद की अनूठी जड़ है (ए<sub>0</sub>, एक<sub>1</sub>, ..., ए<sub>n</sub>) जो अंतराल में है (B<sub>0</sub>, B<sub>1</sub>).
-अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल Bजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के कार्डिनल नंबर सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के सेट में N की तुलना में कार्डिनैलिटी अधिक है। उनके प्रमाण ने नेस्टेड के साथ तर्क का उपयोग किया अंतराल, किन्तु 1891 के पेपर में, उन्होंने अपने सरल और बहुत सरल कैंटर के विकर्ण तर्क का उपयोग करके उसी परिणाम को सिद्ध कर दिया। वास्तविक संख्याओं के सेट की नई कार्डिनल संख्या को [[सातत्य की प्रमुखता]] कहा जाता है और कैंटर ने प्रतीक का उपयोग किया <math>\mathfrak{c}</math> इसके लिए।
+अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल Bजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के प्रधान नंबर सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के सेट में N की तुलना में कार्डिनैलिटी अधिक है। उनके प्रमाण ने नेस्टेड के साथ तर्क का उपयोग किया अंतराल, किन्तु 1891 के पेपर में, उन्होंने अपने सरल और बहुत सरल कैंटर के विकर्ण तर्क का उपयोग करके उसी परिणाम को सिद्ध कर दिया। वास्तविक संख्याओं के सेट की नई प्रधान संख्या को [[सातत्य की प्रमुखता]] कहा जाता है और कैंटर ने प्रतीक का उपयोग किया <math>\mathfrak{c}</math> इसके लिए।
-कैंटर ने कार्डिनल संख्या के सामान्य सिद्धांत का बड़ा हिस्सा भी विकसित किया; उन्होंने सिद्ध किया कि सबसे छोटी ट्रांसफिनिट कार्डिनल संख्या है (<math>\aleph_0</math>, aleph-null), और यह कि प्रत्येक कार्डिनल संख्या के लिए अगला बड़ा कार्डिनल होता है
+कैंटर ने प्रधान संख्या के सामान्य सिद्धांत का बड़ा हिस्सा भी विकसित किया; उन्होंने सिद्ध किया कि सबसे छोटी ट्रांसफिनिट प्रधान संख्या है (<math>\aleph_0</math>, aleph-null), और यह कि प्रत्येक प्रधान संख्या के लिए अगला बड़ा प्रधान होता है
 :<math>(\aleph_1, \aleph_2, \aleph_3, \ldots).</math>
@@ Line 30: / Line 30: @@
 == प्रेरणा ==
-अनौपचारिक उपयोग में, [[क्रमसूचक संख्या]] वह होता है जिसे सामान्यतः [[गिनती संख्या]] के रूप में संदर्भित किया जाता है, बशर्ते कि 0 सम्मलित हो: 0, 1, 2, .... उन्हें 0 से शुरू होने वाली [[प्राकृतिक संख्या]]ओं के साथ पहचाना जा सकता है। गिनती संख्याएं हैं वास्तव में क्या औपचारिक रूप से परिमित सेट कार्डिनल संख्या के रूप में परिभाषित किया जा सकता है। अनंत कार्डिनल केवल उच्च स्तर के गणित और [[तर्क]]शास्त्र में होते हैं।
+अनौपचारिक उपयोग में, [[क्रमसूचक संख्या]] वह होता है जिसे सामान्यतः [[गिनती संख्या]] के रूप में संदर्भित किया जाता है, बशर्ते कि 0 सम्मलित हो: 0, 1, 2, .... उन्हें 0 से शुरू होने वाली [[प्राकृतिक संख्या]]ओं के साथ पहचाना जा सकता है। गिनती संख्याएं हैं वास्तव में क्या औपचारिक रूप से परिमित सेट प्रधान संख्या के रूप में परिभाषित किया जा सकता है। अनंत प्रधान केवल उच्च स्तर के गणित और [[तर्क]]शास्त्र में होते हैं।
 अधिक औपचारिक रूप से, गैर-शून्य संख्या का उपयोग दो उद्देश्यों के लिए किया जा सकता है: सेट के आकार का वर्णन करने के लिए, या किसी क्रम में किसी तत्व की स्थिति का वर्णन करने के लिए। परिमित समुच्चयों और अनुक्रमों के लिए यह देखना आसान है कि ये दो धारणाएँ मेल खाती हैं, क्योंकि अनुक्रम में किसी स्थिति का वर्णन करने वाली प्रत्येक संख्या के लिए हम ऐसे समुच्चय का निर्माण कर सकते हैं जिसका आकार बिल्कुल सही हो। उदाहरण के लिए, 3 अनुक्रम <'a', 'b', 'c', 'd',...> में 'c' की स्थिति का वर्णन करता है, और हम सेट {a,b,c} का निर्माण कर सकते हैं, जिसमें 3 तत्व हों।
-चूंकि, अनंत सेटों के साथ व्यवहार करते समय, दोनों के Bच अंतर करना आवश्यक है, क्योंकि दो धारणाएं वास्तव में अनंत सेटों के लिए अलग-अलग हैं। स्थिति पहलू को ध्यान में रखते हुए क्रमिक संख्याएं होती हैं, जबकि आकार पहलू को यहां वर्णित कार्डिनल संख्याओं द्वारा सामान्यीकृत किया जाता है।
+चूंकि, अनंत सेटों के साथ व्यवहार करते समय, दोनों के Bच अंतर करना आवश्यक है, क्योंकि दो धारणाएं वास्तव में अनंत सेटों के लिए अलग-अलग हैं। स्थिति पहलू को ध्यान में रखते हुए क्रमिक संख्याएं होती हैं, जबकि आकार पहलू को यहां वर्णित प्रधान संख्याओं द्वारा सामान्यीकृत किया जाता है।
-कार्डिनल की औपचारिक परिभाषा के पीछे अंतर्ज्ञान सेट के सापेक्ष आकार या बड़ेपन की धारणा का निर्माण है, बिना इसके सदस्यों के प्रकार के संदर्भ में। परिमित समुच्चयों के लिए यह आसान है; one बस सेट में सम्मलित तत्वों की संख्या को गिनता है। बड़े सेटों के आकार की तुलना करने के लिए, अधिक परिष्कृत धारणाओं को अपील करना आवश्यक है।
+प्रधान की औपचारिक परिभाषा के पीछे अंतर्ज्ञान सेट के सापेक्ष आकार या बड़ेपन की धारणा का निर्माण है, बिना इसके सदस्यों के प्रकार के संदर्भ में। परिमित समुच्चयों के लिए यह आसान है; one बस सेट में सम्मलित तत्वों की संख्या को गिनता है। बड़े सेटों के आकार की तुलना करने के लिए, अधिक परिष्कृत धारणाओं को अपील करना आवश्यक है।
 एक सेट Y कम से कम सेट X जितना बड़ा होता है यदि X के तत्वों से Y के तत्वों के लिए [[इंजेक्शन समारोह]] मैप (गणित) होता है। इंजेक्शन मैपिंग सेट X के प्रत्येक तत्व को सेट के अद्वितीय तत्व के साथ पहचानती है Y. इसे उदाहरण से सबसे सरलता से समझा जा सकता है; मान लें कि हमारे पास X = {1,2,3} और Y = {a,b,c,d} सेट हैं, तो आकार की इस धारणा का उपयोग करके, हम देखेंगे कि मैपिंग है:
@@ Line 44: / Line 44: @@
 जो अंतःक्षेपी है, और इसलिए यह निष्कर्ष निकालता है कि Y की कार्डिनैलिटी X से अधिक या उसके बराबर है। तत्व d में इसके लिए कोई तत्व मानचित्रण नहीं है, किन्तु इसकी अनुमति है क्योंकि हमें केवल अंतःक्षेपी मानचित्रण की आवश्यकता है, न कि विशेषण मानचित्रण की। इस धारणा का लाभ यह है कि इसे अनंत सेटों तक बढ़ाया जा सकता है।
-इसके बाद हम इसे समानता-शैली के संबंध में बढ़ा सकते हैं। दो सेट (गणित) X और Y को समान कार्डिनैलिटी कहा जाता है यदि X और Y के Bच आक्षेप सम्मलित है। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा | X से Y, और Y से X तक इंजेक्शन मैपिंग। फिर हम |X| लिखते हैं = |Y|। X की कार्डिनल संख्या को प्रायः कम से कम क्रमिक ए के साथ परिभाषित किया जाता है = |X|।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Cardinal Number|url=https://mathworld.wolfram.com/CardinalNumber.html|access-date=2020-09-06|website=mathworld.wolfram.com|language=en}}</ref> इसे [[वॉन न्यूमैन कार्डिनल असाइनमेंट]] कहा जाता है; इस परिभाषा को समझने के लिए, यह सिद्ध किया जाना चाहिए कि प्रत्येक सेट में कुछ क्रमवाचक के समान ही प्रमुखता होती है; यह कथन [[सुव्यवस्थित सिद्धांत]] है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना सेट की सापेक्ष कार्डिनैलिटी पर चर्चा करना संभव है।
+इसके बाद हम इसे समानता-शैली के संबंध में बढ़ा सकते हैं। दो सेट (गणित) X और Y को समान कार्डिनैलिटी कहा जाता है यदि X और Y के Bच आक्षेप सम्मलित है। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा | X से Y, और Y से X तक इंजेक्शन मैपिंग। फिर हम |X| लिखते हैं = |Y|। X की प्रधान संख्या को प्रायः कम से कम क्रमिक ए के साथ परिभाषित किया जाता है = |X|।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Cardinal Number|url=https://mathworld.wolfram.com/CardinalNumber.html|access-date=2020-09-06|website=mathworld.wolfram.com|language=en}}</ref> इसे [[वॉन न्यूमैन कार्डिनल असाइनमेंट|वॉन न्यूमैन प्रधान असाइनमेंट]] कहा जाता है; इस परिभाषा को समझने के लिए, यह सिद्ध किया जाना चाहिए कि प्रत्येक सेट में कुछ क्रमवाचक के समान ही प्रमुखता होती है; यह कथन [[सुव्यवस्थित सिद्धांत]] है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना सेट की सापेक्ष कार्डिनैलिटी पर चर्चा करना संभव है।
 उपयोग किया जाने वाला क्लासिक उदाहरण अनंत होटल विरोधाभास का है, जिसे ग्रांड होटल का हिल्बर्ट का विरोधाभास भी कहा जाता है। मान लीजिए कि होटल में सराय का मालिक है, जिसके पास अनंत संख्या में कमरे हैं। होटल भरा हुआ है, और फिर नया मेहमान आता है। कमरे 1 में सम्मलित अतिथि को कमरे 2 में जाने के लिए, कमरे 2 में अतिथि को कमरे 3 में जाने के लिए, और इसी तरह कमरा 1 को खाली छोड़कर अतिरिक्त अतिथि को फिट करना संभव है। हम इस मानचित्रण का खंड स्पष्ट रूप से लिख सकते हैं:
@@ Line 55: / Line 55: @@
 इस असाइनमेंट के साथ, हम देख सकते हैं कि सेट {1,2,3,...} में सेट {2,3,4,...} के समान कार्डिनैलिटी है, क्योंकि पहले और दूसरे के Bच आपत्ति है दिखाया गया। यह अनंत सेट की परिभाषा को किसी भी सेट के रूप में प्रेरित करता है जिसमें समान कार्डिनैलिटी (अर्ताथ, डेडेकिंड-अनंत सेट) का उचित उपसमुच्चय होता है; इस स्थिति में {2,3,4,...} {1,2,3,...} का उचित उपसमुच्चय है।
-इन बड़ी वस्तुओं पर विचार करते समय, कोई भी यह देखना चाह सकता है कि क्या गणना क्रम की धारणा इन अनंत सेटों के लिए ऊपर परिभाषित कार्डिनल के साथ मेल खाती है। ऐसा होता है कि ऐसा नहीं होता; उपरोक्त उदाहरण पर विचार करके हम देख सकते हैं कि यदि कोई वस्तु अनंत से बड़ी है, तो उसमें वही कार्डिनैलिटी होनी चाहिए जो अनंत सेट के साथ हमने शुरू की थी। संख्या के लिए अलग औपचारिक धारणा का उपयोग करना संभव है, जिसे क्रमिक संख्या कहा जाता है, गिनती के विचारों के आधार पर और प्रत्येक संख्या पर बारी-बारी से विचार किया जाता है, और हमें पता चलता है कि बार जब हम परिमित संख्या से बाहर निकल जाते हैं तो कार्डिनैलिटी और ऑर्डिनलिटी की धारणाएँ अलग हो जाती हैं।
+इन बड़ी वस्तुओं पर विचार करते समय, कोई भी यह देखना चाह सकता है कि क्या गणना क्रम की धारणा इन अनंत सेटों के लिए ऊपर परिभाषित प्रधान के साथ मेल खाती है। ऐसा होता है कि ऐसा नहीं होता; उपरोक्त उदाहरण पर विचार करके हम देख सकते हैं कि यदि कोई वस्तु अनंत से बड़ी है, तो उसमें वही कार्डिनैलिटी होनी चाहिए जो अनंत सेट के साथ हमने शुरू की थी। संख्या के लिए अलग औपचारिक धारणा का उपयोग करना संभव है, जिसे क्रमिक संख्या कहा जाता है, गिनती के विचारों के आधार पर और प्रत्येक संख्या पर बारी-बारी से विचार किया जाता है, और हमें पता चलता है कि बार जब हम परिमित संख्या से बाहर निकल जाते हैं तो कार्डिनैलिटी और ऑर्डिनलिटी की धारणाएँ अलग हो जाती हैं।
 यह सिद्ध किया जा सकता है कि वास्तविक संख्याओं की कार्डिनैलिटी अभी वर्णित प्राकृतिक संख्याओं की तुलना में अधिक है। कैंटर के विकर्ण तर्क का उपयोग करके इसकी कल्पना की जा सकती है;
-कार्डिनैलिटी के क्लासिक प्रश्न (उदाहरण के लिए सातत्य परिकल्पना) यह पता लगाने से संबंधित हैं कि क्या अन्य अनंत कार्डिनल्स की कुछ जोड़ी के Bच कुछ कार्डिनल है। हाल के दिनों में, गणितज्ञ बड़े और बड़े कार्डिनल के गुणों का वर्णन करते रहे हैं।
+कार्डिनैलिटी के क्लासिक प्रश्न (उदाहरण के लिए सातत्य परिकल्पना) यह पता लगाने से संबंधित हैं कि क्या अन्य अनंत प्रधान्स की कुछ जोड़ी के Bच कुछ प्रधान है। हाल के दिनों में, गणितज्ञ बड़े और बड़े प्रधान के गुणों का वर्णन करते रहे हैं।
 चूँकि गणित में कार्डिनैलिटी ऐसी सामान्य अवधारणा है, इसलिए विभिन्न प्रकार के नाम उपयोग में हैं। कार्डिनैलिटी की समरूपता को कभी-कभी समता, समता, या समतुल्यता के रूप में संदर्भित किया जाता है। इस प्रकार यह कहा जाता है कि समान कार्डिनैलिटी वाले दो समुच्चय क्रमश: समशक्ति, समशक्ति या समविभव होते हैं।
 == औपचारिक परिभाषा ==
-औपचारिक रूप से, पसंद के स्वयंसिद्ध को मानते हुए, सेट X की कार्डिनैलिटी कम से कम क्रमिक संख्या α है जैसे कि X और α के Bच आपत्ति है। इस परिभाषा को वॉन न्यूमैन कार्डिनल असाइनमेंट के रूप में जाना जाता है। यदि पसंद का स्वयंसिद्ध नहीं माना जाता है, तो अलग दृष्टिकोण की आवश्यकता होती है। सेट X की कार्डिनालिटी की सबसे पुरानी परिभाषा (कैंटर में निहित और फ्रीज और [[गणितीय सिद्धांत]] में स्पष्ट) सभी सेटों के वर्ग [X] के रूप में है जो X के समतुल्य हैं। यह [[जेडएफसी]] या स्वयंसिद्ध के अन्य संबंधित प्रणालियों में कार्य नहीं करता है सेट थ्योरी क्योंकि यदि X खाली नहीं है, तो यह संग्रह सेट होने के लिए बहुत बड़ा है। वास्तव में, X ≠ ∅ के लिए समुच्चय m को {m} × X पर मैप करके ब्रह्मांड से [X] में अंतःक्षेपण होता है, और इसलिए आकार की सीमा के अभिगृहीत द्वारा, [X] उचित वर्ग है। परिभाषा चूंकि [[प्रकार सिद्धांत]] और [[नई नींव]] और संबंधित प्रणालियों में कार्य करती है। चूंकि, अगर हम इस वर्ग से X के साथ समतुल्य तक सीमित हैं जिनके पास कम से कम [[रैंक (सेट सिद्धांत)]] है, तो यह कार्य करेगा (यह [[दाना स्कॉट]] के कारण चाल है:<ref>{{cite journal|last1=Deiser|first1=Oliver|title=On the Development of the Notion of a Cardinal Number|journal=History and Philosophy of Logic|doi=10.1080/01445340903545904 |volume=31|issue=2|pages=123–143|date=May 2010|s2cid=171037224}}</ref> यह कार्य करता है क्योंकि किसी दिए गए रैंक वाले ऑब्जेक्ट्स का संग्रह सेट है)।
+औपचारिक रूप से, पसंद के स्वयंसिद्ध को मानते हुए, सेट X की कार्डिनैलिटी कम से कम क्रमिक संख्या α है जैसे कि X और α के Bच आपत्ति है। इस परिभाषा को वॉन न्यूमैन प्रधान असाइनमेंट के रूप में जाना जाता है। यदि पसंद का स्वयंसिद्ध नहीं माना जाता है, तो अलग दृष्टिकोण की आवश्यकता होती है। सेट X की कार्डिनालिटी की सबसे पुरानी परिभाषा (कैंटर में निहित और फ्रीज और [[गणितीय सिद्धांत]] में स्पष्ट) सभी सेटों के वर्ग [X] के रूप में है जो X के समतुल्य हैं। यह [[जेडएफसी]] या स्वयंसिद्ध के अन्य संबंधित प्रणालियों में कार्य नहीं करता है सेट थ्योरी क्योंकि यदि X खाली नहीं है, तो यह संग्रह सेट होने के लिए बहुत बड़ा है। वास्तव में, X ≠ ∅ के लिए समुच्चय m को {m} × X पर मैप करके ब्रह्मांड से [X] में अंतःक्षेपण होता है, और इसलिए आकार की सीमा के अभिगृहीत द्वारा, [X] उचित वर्ग है। परिभाषा चूंकि [[प्रकार सिद्धांत]] और [[नई नींव]] और संबंधित प्रणालियों में कार्य करती है। चूंकि, अगर हम इस वर्ग से X के साथ समतुल्य तक सीमित हैं जिनके पास कम से कम [[रैंक (सेट सिद्धांत)]] है, तो यह कार्य करेगा (यह [[दाना स्कॉट]] के कारण चाल है:<ref>{{cite journal|last1=Deiser|first1=Oliver|title=On the Development of the Notion of a Cardinal Number|journal=History and Philosophy of Logic|doi=10.1080/01445340903545904 |volume=31|issue=2|pages=123–143|date=May 2010|s2cid=171037224}}</ref> यह कार्य करता है क्योंकि किसी दिए गए रैंक वाले ऑब्जेक्ट्स का संग्रह सेट है)।
-वॉन न्यूमैन कार्डिनल असाइनमेंट का तात्पर्य है कि परिमित सेट की कार्डिनल संख्या उस सेट के सभी संभावित क्रमों की सामान्य क्रमिक संख्या है, और कार्डिनल और क्रमिक अंकगणित (इसके अतिरिक्त, गुणा, शक्ति, उचित घटाव) फिर परिमित के लिए समान उत्तर दें नंबर। चूंकि, वे अनंत संख्याओं के लिए भिन्न हैं। उदाहरण के लिए, <math>2^\omega=\omega<\omega^2</math> क्रमिक अंकगणित में जबकि <math>2^{\aleph_0}>\aleph_0=\aleph_0^2</math> कार्डिनल अंकगणित में, चूंकि वॉन न्यूमैन असाइनमेंट डालता है <math>\aleph_0=\omega</math>. दूसरी ओर, स्कॉट की चाल का अर्थ है कि कार्डिनल संख्या 0 है <math>\{\emptyset\}</math>, जो क्रमांक 1 भी है, और यह भ्रमित करने वाला हो सकता है। संभावित समझौता (अनंत अंकगणित में पसंद और भ्रम की स्वयंसिद्धता पर निर्भरता से बचने के समय परिमित अंकगणित में संरेखण का लाभ उठाने के लिए) वॉन न्यूमैन असाइनमेंट को परिमित सेटों के कार्डिनल नंबरों पर लागू करना है (जो अच्छी तरह से आदेशित हो सकते हैं और नहीं हैं) उचित उपसमुच्चयों के लिए समबल) और अन्य सेटों की कार्डिनल संख्याओं के लिए स्कॉट की चाल का उपयोग करने के लिए।
+वॉन न्यूमैन प्रधान असाइनमेंट का तात्पर्य है कि परिमित सेट की प्रधान संख्या उस सेट के सभी संभावित क्रमों की सामान्य क्रमिक संख्या है, और प्रधान और क्रमिक अंकगणित (इसके अतिरिक्त, गुणा, शक्ति, उचित घटाव) फिर परिमित के लिए समान उत्तर दें नंबर। चूंकि, वे अनंत संख्याओं के लिए भिन्न हैं। उदाहरण के लिए, <math>2^\omega=\omega<\omega^2</math> क्रमिक अंकगणित में जबकि <math>2^{\aleph_0}>\aleph_0=\aleph_0^2</math> प्रधान अंकगणित में, चूंकि वॉन न्यूमैन असाइनमेंट डालता है <math>\aleph_0=\omega</math>. दूसरी ओर, स्कॉट की चाल का अर्थ है कि प्रधान संख्या 0 है <math>\{\emptyset\}</math>, जो क्रमांक 1 भी है, और यह भ्रमित करने वाला हो सकता है। संभावित समझौता (अनंत अंकगणित में पसंद और भ्रम की स्वयंसिद्धता पर निर्भरता से बचने के समय परिमित अंकगणित में संरेखण का लाभ उठाने के लिए) वॉन न्यूमैन असाइनमेंट को परिमित सेटों के प्रधान नंबरों पर लागू करना है (जो अच्छी तरह से आदेशित हो सकते हैं और नहीं हैं) उचित उपसमुच्चयों के लिए समबल) और अन्य सेटों की प्रधान संख्याओं के लिए स्कॉट की चाल का उपयोग करने के लिए।
-औपचारिक रूप से, कार्डिनल नंबरों के Bच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y|। पसंद का अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X| दिए गए हैं ≤ |Y| या |Y| ≤ |X|।<ref name="Enderton">Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. {{ISBN|0-12-238440-7}}</ref><ref>{{citation | author=Friedrich M. Hartogs | author-link=Friedrich M. Hartogs | editor=Felix Klein | editor-link=Felix Klein | editor2=Walther von Dyck | editor2-link=Walther von Dyck | editor3=David Hilbert | editor3-link=David Hilbert | editor4=Otto Blumenthal | editor4-link=Otto Blumenthal | title=Über das Problem der Wohlordnung | journal=Math. Ann. | volume=Bd.&nbsp;76 | number=4 | publisher=B.&nbsp;G. Teubner | location=Leipzig | year=1915 | pages=438–443 | issn=0025-5831 | url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | doi=10.1007/bf01458215 | s2cid=121598654 | access-date=2014-02-02 | archive-url=https://web.archive.org/web/20160416205255/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | archive-date=2016-04-16 | url-status=live }}</ref>
+औपचारिक रूप से, प्रधान नंबरों के Bच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y|। पसंद का अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X| दिए गए हैं ≤ |Y| या |Y| ≤ |X|।<ref name="Enderton">Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. {{ISBN|0-12-238440-7}}</ref><ref>{{citation | author=Friedrich M. Hartogs | author-link=Friedrich M. Hartogs | editor=Felix Klein | editor-link=Felix Klein | editor2=Walther von Dyck | editor2-link=Walther von Dyck | editor3=David Hilbert | editor3-link=David Hilbert | editor4=Otto Blumenthal | editor4-link=Otto Blumenthal | title=Über das Problem der Wohlordnung | journal=Math. Ann. | volume=Bd.&nbsp;76 | number=4 | publisher=B.&nbsp;G. Teubner | location=Leipzig | year=1915 | pages=438–443 | issn=0025-5831 | url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | doi=10.1007/bf01458215 | s2cid=121598654 | access-date=2014-02-02 | archive-url=https://web.archive.org/web/20160416205255/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | archive-date=2016-04-16 | url-status=live }}</ref>
-एक समुच्चय X [[Dedekind-अनंत]] है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और [[डेडेकाइंड परिमित]] यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय कार्डिनल केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए। कोई अन्य समुच्चय अनंत समुच्चय होता है।
+एक समुच्चय X [[Dedekind-अनंत]] है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और [[डेडेकाइंड परिमित]] यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय प्रधान केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए। कोई अन्य समुच्चय अनंत समुच्चय होता है।
-पसंद के स्वयंसिद्ध को मानते हुए, यह सिद्ध किया जा सकता है कि डेडेकाइंड की धारणा मानक के अनुरूप है। यह भी सिद्ध किया जा सकता है कि कार्डिनल <math>\aleph_0</math> ([[अलेफ नल]] या एलेफ-0, जहां एलेफ [[हिब्रू वर्णमाला]] में पहला अक्षर है, दर्शाया गया है <math>\aleph</math>) प्राकृतिक संख्याओं के सेट का सबसे छोटा अनंत कार्डिनल है (अर्ताथ, किसी भी अनंत सेट में कार्डिनैलिटी का सबसेट है <math>\aleph_0</math>). अगले बड़े कार्डिनल द्वारा दर्शाया गया है <math>\aleph_1</math>, और इसी तरह। प्रत्येक क्रमिक संख्या α के लिए, कार्डिनल संख्या होती है <math>\aleph_{\alpha},</math> और यह सूची सभी अनंत कार्डिनल नंबरों को समाप्त कर देती है।
+पसंद के स्वयंसिद्ध को मानते हुए, यह सिद्ध किया जा सकता है कि डेडेकाइंड की धारणा मानक के अनुरूप है। यह भी सिद्ध किया जा सकता है कि प्रधान <math>\aleph_0</math> ([[अलेफ नल]] या एलेफ-0, जहां एलेफ [[हिब्रू वर्णमाला]] में पहला अक्षर है, दर्शाया गया है <math>\aleph</math>) प्राकृतिक संख्याओं के सेट का सबसे छोटा अनंत प्रधान है (अर्ताथ, किसी भी अनंत सेट में कार्डिनैलिटी का सबसेट है <math>\aleph_0</math>). अगले बड़े प्रधान द्वारा दर्शाया गया है <math>\aleph_1</math>, और इसी तरह। प्रत्येक क्रमिक संख्या α के लिए, प्रधान संख्या होती है <math>\aleph_{\alpha},</math> और यह सूची सभी अनंत प्रधान नंबरों को समाप्त कर देती है।
-== कार्डिनल [[अंकगणित]] ==
+== प्रधान [[अंकगणित]] ==
-हम मूल संख्याओं पर अंकगणितीय संक्रियाओं को परिभाषित कर सकते हैं जो प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं का सामान्यीकरण करती हैं। यह दिखाया जा सकता है कि परिमित कार्डिनल के लिए, ये संक्रियाएँ प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं के साथ मेल खाती हैं। इसके अतिरिक्त, ये ऑपरेशन साधारण अंकगणित के साथ कई गुण साझा करते हैं।
+हम मूल संख्याओं पर अंकगणितीय संक्रियाओं को परिभाषित कर सकते हैं जो प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं का सामान्यीकरण करती हैं। यह दिखाया जा सकता है कि परिमित प्रधान के लिए, ये संक्रियाएँ प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं के साथ मेल खाती हैं। इसके अतिरिक्त, ये ऑपरेशन साधारण अंकगणित के साथ कई गुण साझा करते हैं।
-=== उत्तराधिकारी कार्डिनल ===
+=== उत्तराधिकारी प्रधान ===
 {{Details|उत्तराधिकारी कार्डिनल}}
-यदि पसंद का स्वयंसिद्ध धारण करता है, तो प्रत्येक कार्डिनल κ का उत्तराधिकारी होता है, जिसे κ दर्शाया जाता है<sup>+</sup>, जहां κ<sup>+</sup> > κ और κ और उसके उत्तराधिकारी के Bच कोई कार्डिनल नहीं है। (पसंद के अभिगृहीत के बिना, Hartogs number|Hartogs' प्रमेय का उपयोग करके, यह दिखाया जा सकता है कि किसी भी कार्डिनल संख्या κ के लिए, न्यूनतम कार्डिनल κ है<sup>+</sup> ऐसा कि <!-- κ<sup>+</sup> ࣞ κ.<ref group=notes>The symbol is the [[Unicode]] symbol for not less than or equal to.</ref>--><math>\kappa^+\nleq\kappa. </math>) परिमित कार्डिनल के लिए, उत्तराधिकारी केवल κ + 1 है। अनंत कार्डिनल के लिए, उत्तराधिकारी कार्डिनल [[उत्तराधिकारी क्रमसूचक]] से भिन्न होता है।
+यदि पसंद का स्वयंसिद्ध धारण करता है, तो प्रत्येक प्रधान κ का उत्तराधिकारी होता है, जिसे κ दर्शाया जाता है<sup>+</sup>, जहां κ<sup>+</sup> > κ और κ और उसके उत्तराधिकारी के Bच कोई प्रधान नहीं है। (पसंद के अभिगृहीत के बिना, Hartogs number|Hartogs' प्रमेय का उपयोग करके, यह दिखाया जा सकता है कि किसी भी प्रधान संख्या κ के लिए, न्यूनतम प्रधान κ है<sup>+</sup> ऐसा कि <!-- κ<sup>+</sup> ࣞ κ.<ref group=notes>The symbol is the [[Unicode]] symbol for not less than or equal to.</ref>--><math>\kappa^+\nleq\kappa. </math>) परिमित प्रधान के लिए, उत्तराधिकारी केवल κ + 1 है। अनंत प्रधान के लिए, उत्तराधिकारी प्रधान [[उत्तराधिकारी क्रमसूचक]] से भिन्न होता है।
-=== कार्डिनल जोड़ ===
+=== प्रधान जोड़ ===
-यदि X और Y असम्बद्ध समुच्चय हैं, तो जोड़ X और Y के मिलन (समुच्चय सिद्धांत) द्वारा दिया जाता है। यदि दो समुच्चय पहले से ही असंयुक्त नहीं हैं, तो उन्हें समान कार्डिनलिटी के असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जा सकता है (उदाहरण के लिए, X द्वारा प्रतिस्थापित करें) X×{0} और Y by Y×{1}).
+यदि X और Y असम्बद्ध समुच्चय हैं, तो जोड़ X और Y के मिलन (समुच्चय सिद्धांत) द्वारा दिया जाता है। यदि दो समुच्चय पहले से ही असंयुक्त नहीं हैं, तो उन्हें समान प्रधान संख्या के असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जा सकता है (उदाहरण के लिए, X द्वारा प्रतिस्थापित करें) X×{0} और Y by Y×{1}).
 :<math>|X| + |Y| = | X \cup Y|.</math><ref>{{harvnb|Schindler|2014|loc=pg. 34}}</ref>
 शून्य योगात्मक पहचान है κ + 0 = 0 + κ = κ।
@@ Line 91: / Line 91: @@
 जोड़ दोनों तर्कों में गैर-घट रहा है:
 :<math>(\kappa \le \mu) \rightarrow ((\kappa + \nu \le \mu + \nu) \mbox{ and } (\nu + \kappa \le \nu + \mu)).</math>
-पसंद के स्वयंसिद्ध को मानते हुए, अनंत कार्डिनल संख्याओं का जोड़ आसान है। यदि या तो κ या μ अपरिमित है, तब
+पसंद के स्वयंसिद्ध को मानते हुए, अनंत प्रधान संख्याओं का जोड़ आसान है। यदि या तो κ या μ अपरिमित है, तब
 :<math>\kappa + \mu = \max\{\kappa, \mu\}\,.</math>
 ==== घटाव ====
-पसंद के स्वयंसिद्ध मानते हुए और, अनंत कार्डिनल σ और कार्डिनल μ दिए जाने पर, कार्डिनल κ सम्मलित है जैसे कि μ + κ = σ अगर और केवल अगर μ ≤ σ। यह अद्वितीय (और σ के बराबर) होगा यदि और केवल यदि μ < σ।
+पसंद के स्वयंसिद्ध मानते हुए और, अनंत प्रधान σ और प्रधान μ दिए जाने पर, प्रधान κ सम्मलित है जैसे कि μ + κ = σ अगर और केवल अगर μ ≤ σ। यह अद्वितीय (और σ के बराबर) होगा यदि और केवल यदि μ < σ।
-=== कार्डिनल गुणन ===
+=== प्रधान गुणन ===
-कार्डिनल्स का उत्पाद कार्टेशियन उत्पाद से आता है।
+प्रधान्स का उत्पाद कार्टेशियन उत्पाद से आता है।
 :<math>|X|\cdot|Y| = |X \times Y|</math><ref>{{harvnb|Schindler|2014|loc=pg. 34}}</ref>
 κ·0 = 0·κ = 0.
@@ Line 118: / Line 118: @@
 κ·(μ + ν) = κ·μ + κ·ν और (M + N) · K = M · K + N · K।
-पसंद के स्वयंसिद्ध को मानते हुए, अनंत कार्डिनल संख्याओं का गुणन भी आसान है। यदि या तो κ या μ अनंत है और दोनों गैर-शून्य हैं, तो
+पसंद के स्वयंसिद्ध को मानते हुए, अनंत प्रधान संख्याओं का गुणन भी आसान है। यदि या तो κ या μ अनंत है और दोनों गैर-शून्य हैं, तो
 :<math>\kappa\cdot\mu = \max\{\kappa, \mu\}.</math>
 ==== विभाग ====
-पसंद के स्वयंसिद्ध को मानते हुए और, अनंत कार्डिनल π और गैर-शून्य कार्डिनल μ दिए जाने पर, कार्डिनल κ सम्मलित है जैसे कि μ · κ = π अगर और केवल अगर μ ≤ π। यह अद्वितीय (और π के बराबर) होगा जब μ < π का मान होगा।
+पसंद के स्वयंसिद्ध को मानते हुए और, अनंत प्रधान π और गैर-शून्य प्रधान μ दिए जाने पर, प्रधान κ सम्मलित है जैसे कि μ · κ = π अगर और केवल अगर μ ≤ π। यह अद्वितीय (और π के बराबर) होगा जब μ < π का मान होगा।
-=== कार्डिनल घातांक ===
+=== प्रधान घातांक ===
 घातांक किसके द्वारा दिया जाता है
 :<math>|X|^{|Y|} = \left|X^Y\right|,</math>
@@ Line 138: / Line 138: @@
 :(κ ≤ μ) → (κ<sup>n ≤ m<sup>n).
-<sup>|X|</sup> सेट X के [[सत्ता स्थापित]] की कार्डिनैलिटी है और कैंटर के विकर्ण तर्क से पता चलता है कि 2<sup>|X|</sup> > |X| किसी भी सेट X के लिए। यह सिद्ध करता है कि कोई भी सबसे बड़ा कार्डिनल सम्मलित नहीं है (क्योंकि किसी भी कार्डिनल κ के लिए, हम हमेशा बड़ा कार्डिनल 2 पा सकते हैं<sup>κ</sup>). वास्तव में, कार्डिनल्स का [[वर्ग (सेट सिद्धांत)]] [[उचित वर्ग]] है। (यह प्रमाण कुछ सेट सिद्धांतों, विशेष रूप से न्यू फ़ाउंडेशन में विफल रहता है।)
+<sup>|X|</sup> सेट X के [[सत्ता स्थापित]] की कार्डिनैलिटी है और कैंटर के विकर्ण तर्क से पता चलता है कि 2<sup>|X|</sup> > |X| किसी भी सेट X के लिए। यह सिद्ध करता है कि कोई भी सबसे बड़ा प्रधान सम्मलित नहीं है (क्योंकि किसी भी प्रधान κ के लिए, हम हमेशा बड़ा प्रधान 2 पा सकते हैं<sup>κ</sup>). वास्तव में, प्रधान्स का [[वर्ग (सेट सिद्धांत)]] [[उचित वर्ग]] है। (यह प्रमाण कुछ सेट सिद्धांतों, विशेष रूप से न्यू फ़ाउंडेशन में विफल रहता है।)
 इस खंड में शेष सभी प्रस्ताव पसंद के स्वयंसिद्ध मानते हैं:
@@ Line 148: / Line 148: @@
 : max (κ, 2<sup>μ</sup>) ≤ K<sup>μ</sup> ≤ अधिकतम (2<sup>2<sup>μ</sup>).
-कोनिग के प्रमेय (सेट सिद्धांत) का उपयोग करना | कोनिग के प्रमेय, कोई भी κ < κ सिद्ध कर सकता है<sup>cf(κ)</sup> और κ <cf(2<sup>κ</sup>) किसी अनंत कार्डिनल κ के लिए, जहां cf(κ) κ की अंतिमता है।
+कोनिग के प्रमेय (सेट सिद्धांत) का उपयोग करना | कोनिग के प्रमेय, कोई भी κ < κ सिद्ध कर सकता है<sup>cf(κ)</sup> और κ <cf(2<sup>κ</sup>) किसी अनंत प्रधान κ के लिए, जहां cf(κ) κ की अंतिमता है।
 ==== जड़ें ====
-पसंद के स्वयंसिद्ध को मानते हुए और, अनंत कार्डिनल κ और परिमित कार्डिनल μ 0 से अधिक दिया गया, कार्डिनल ν संतोषजनक <math>\nu^\mu = \kappa</math> होगा <math>\kappa</math>.
+पसंद के स्वयंसिद्ध को मानते हुए और, अनंत प्रधान κ और परिमित प्रधान μ 0 से अधिक दिया गया, प्रधान ν संतोषजनक <math>\nu^\mu = \kappa</math> होगा <math>\kappa</math>.
 ==== लघुगणक ====
-पसंद के स्वयंसिद्ध को मानते हुए और, अनंत कार्डिनल κ और परिमित कार्डिनल μ 1 से अधिक दिया गया है, कार्डिनल λ संतोषजनक हो सकता है या नहीं भी हो सकता है <math>\mu^\lambda = \kappa</math>. चूंकि, यदि ऐसा कार्डिनल सम्मलित है, तो यह अनंत है और κ से कम है, और 1 से अधिक कोई परिमित कार्डिनैलिटी भी संतुष्ट करेगी <math>\nu^\lambda = \kappa</math>.
+पसंद के स्वयंसिद्ध को मानते हुए और, अनंत प्रधान κ और परिमित प्रधान μ 1 से अधिक दिया गया है, प्रधान λ संतोषजनक हो सकता है या नहीं भी हो सकता है <math>\mu^\lambda = \kappa</math>. चूंकि, यदि ऐसा प्रधान सम्मलित है, तो यह अनंत है और κ से कम है, और 1 से अधिक कोई परिमित कार्डिनैलिटी भी संतुष्ट करेगी <math>\nu^\lambda = \kappa</math>.
-एक अनंत कार्डिनल संख्या κ के लघुगणक को कम से कम कार्डिनल संख्या μ के रूप में परिभाषित किया गया है जैसे कि κ ≤ 2<sup>μ</sup>. गणित के कुछ क्षेत्रों में अनंत कार्डिनल के लॉगरिदम उपयोगी होते हैं, उदाहरण के लिए [[टोपोलॉजिकल स्पेस]] स्थान के [[कार्डिनल अपरिवर्तनीय]] के अध्ययन में, चूंकि उनमें कुछ गुणों की कमी होती है जो सकारात्मक वास्तविक संख्याओं के लॉगरिदम के पास होती हैं।<ref>Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, [[Springer-Verlag]].</ref><ref>[[Eduard Čech]], Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.</ref><ref>D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.</ref>
+एक अनंत प्रधान संख्या κ के लघुगणक को कम से कम प्रधान संख्या μ के रूप में परिभाषित किया गया है जैसे कि κ ≤ 2<sup>μ</sup>. गणित के कुछ क्षेत्रों में अनंत प्रधान के लॉगरिदम उपयोगी होते हैं, उदाहरण के लिए [[टोपोलॉजिकल स्पेस]] स्थान के [[कार्डिनल अपरिवर्तनीय|प्रधान अपरिवर्तनीय]] के अध्ययन में, चूंकि उनमें कुछ गुणों की कमी होती है जो सकारात्मक वास्तविक संख्याओं के लॉगरिदम के पास होती हैं।<ref>Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, [[Springer-Verlag]].</ref><ref>[[Eduard Čech]], Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.</ref><ref>D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.</ref>
 == सातत्य परिकल्पना ==
-सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के Bच कोई कार्डिनल नहीं हैं <math>\aleph_0</math> और <math>2^{\aleph_0}.</math> बाद के कार्डिनल नंबर को भी प्रायः द्वारा निरूपित किया जाता है <math>\mathfrak{c}</math>; यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है। इस स्थिति में <math>2^{\aleph_0} = \aleph_1.</math>
+सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के Bच कोई प्रधान नहीं हैं <math>\aleph_0</math> और <math>2^{\aleph_0}.</math> बाद के प्रधान नंबर को भी प्रायः द्वारा निरूपित किया जाता है <math>\mathfrak{c}</math>; यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है। इस स्थिति में <math>2^{\aleph_0} = \aleph_1.</math>
-इसी तरह, [[सामान्यीकृत सातत्य परिकल्पना]] (जीसीएच) कहती है कि प्रत्येक अनंत कार्डिनल के लिए <math>\kappa</math>, Bच में सख्ती से कोई कार्डिनल नहीं हैं <math>\kappa</math> और <math>2^\kappa</math>. सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों सेट सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के साथ।
+इसी तरह, [[सामान्यीकृत सातत्य परिकल्पना]] (जीसीएच) कहती है कि प्रत्येक अनंत प्रधान के लिए <math>\kappa</math>, Bच में सख्ती से कोई प्रधान नहीं हैं <math>\kappa</math> और <math>2^\kappa</math>. सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों सेट सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के साथ।
-दरअसल, ईस्टन के प्रमेय से पता चलता है कि, [[नियमित कार्डिनल]]्स के लिए <math>\kappa</math>, केवल ZFC की कार्डिनैलिटी पर प्रतिबंध लगाता है <math>2^\kappa</math> वो है <math> \kappa < \operatorname{cf}(2^\kappa) </math>, और यह कि घातीय फलन गैर-घटता है।
+दरअसल, ईस्टन के प्रमेय से पता चलता है कि, [[नियमित कार्डिनल|नियमित प्रधान]]्स के लिए <math>\kappa</math>, केवल ZFC की कार्डिनैलिटी पर प्रतिबंध लगाता है <math>2^\kappa</math> वो है <math> \kappa < \operatorname{cf}(2^\kappa) </math>, और यह कि घातीय फलन गैर-घटता है।
 == यह भी देखें ==

v t e संख्या प्रणाली
गणना योग्य सेट	प्राकृतिक संख्या ( $\mathbb {N}$ ) पूर्णांक ( $\mathbb {Z}$ ) तर्कसंगत संख्या ( $\mathbb {Q}$ ) निर्माण योग्य संख्या बीजगणितीय संख्या ( $\mathbb {A}$ ) अवधि कम्प्यूटेबल नंबर अंकगणितीय संख्या सेट-सिद्धांत रूप से निश्चित संख्या गाऊसी पूर्णांक
रचना बीजगणित	विभाजन बीजगणित: वास्तविक संख्या ( $\mathbb {R}$ ) जटिल संख्या ( $\mathbb {C}$ ) चतुर्भुज ( $\mathbb {H}$ ) ऑक्टोनियन ( $\mathbb {O}$ )
विभाजित करना प्रकार	ऊपर $\mathbb {R}$ : स्प्लिट-कॉम्प्लेक्स नंबर स्प्लिट-क्वैटरन स्प्लिट-फैक्टियन ऊपर $\mathbb {C}$ : $\mathbb {C}$ : BICOMPLEX नंबर Biquaternion Bioctonion
अन्य हाइपरकम्प्लेक्स	दोहरी संख्या दोहरी चतुर्भुज दोहरी-कॉम्प्लेक्स नंबर हाइपरबोलिक चतुर्भुज सेडेनियन ( $\mathbb {S}$ ) स्प्लिट-ब्यूकटरन मल्टीकोम्प्लेक्स नंबर ज्यामितीय बीजगणित/क्लिफोर्ड बीजगणित भौतिक अंतरिक्ष का बीजगणित स्पेसटाइम बीजगणित
अन्य प्रकार	बुनियादी संख्या विस्तारित प्राकृतिक संख्या अपरिमेय संख्या फजी नंबर हाइपरियल नंबर लेवी-सिविटा फील्ड असली संख्या ट्रांसेंडेंटल नंबर क्रमसूचक संख्या [[पी-एडिक नंबर \|p-adicसंख्या]]p-adicसोलेनोइड्स]] अलौकिक संख्या सुपररेल नंबर सामान्य संख्या बंद-फॉर्म नंबर
वर्गीकरण सूची

v t e समुच्चय सिद्धान्त
अवलोकन	सेट (गणित)
स्वयंसिद्ध	adjunction पसंद गणना योग्य आश्रित ग्लोबल निर्माण (v = l) निर्धारण एक्सटेंशनलिटी अनंत आकार की सीमा जोड़ी पावर सेट नियमितता संघ मार्टिन का स्वयंसिद्ध स्वयंसिद्ध स्कीमा प्रतिस्थापन विनिर्देश
संचालन	कार्तीय गुणन पूरक (यानी सेट अंतर) डे मॉर्गन के कानून असंतुष्ट संघ पहचान चौराहा सत्ता स्थापित सममित अंतर संघ
Concepts Methods	लगभग कार्डिनैलिटी कार्डिनल नंबर ( बड़ा) वर्ग रचनात्मक ब्रह्मांड सातत्य परिकल्पना विकर्ण तर्क तत्व क्रमित युग्म ट्यूपल परिवार फोर्सिंग एक-से-एक पत्राचार क्रमसूचक संख्या सेट-बिल्डर नोटेशन ट्रांसफिनाइट इंडक्शन वेन आरेख
सेट प्रकार	अनाकार काउंट करने योग्य खाली परिमित ( वंशानुगत रूप से) फ़िल्टर आधार सबबेस अल्ट्राफिल्टर फजी अनंत पुनरावर्ती सिंगलटन सबसेट⧼dot-separator⧽सुपरसेट सकर्मक बेशुमार यूनिवर्सल
सिद्धांतों	वैकल्पिक स्वयंसिद्ध भोला कैंटर का प्रमेय* Zermelo** सामान्य* प्रिंसिपिया मैथमेटिक '** नई नींव* Zermelo -fraenkel न्यूमैन से - बर्नेज़ - गोडेल* मोर्स -केली क्रिपे-प्लेटेक टार्स्की -ग्रोथेन्डीक
Paradoxes Problems	रसेल का विरोधाभास सुस्लिन की समस्या Burali-Forti विरोधाभास
सिद्धांतकार सेट	अब्राहम फ्रेंकेल बर्ट्रेंड रसेल अर्नस्ट ज़रमेलो जॉर्ज कैंटर जॉन वॉन न्यूमैन कर्ट गोडेल पॉल बर्नस पॉल कोहेन रिचर्ड डेडेकिंड थॉमस जेक थोरलफ स्कोलेम विलार्ड क्वीन लोरेंज हैलबिसेन

Anonymous

Search

गणन संख्या: Difference between revisions

Namespaces

More

Page actions

Revision as of 00:08, 7 February 2023

Contents

इतिहास

प्रेरणा

औपचारिक परिभाषा