अनंत संख्या: Difference between revisions
(→उदाहरण) |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 2: | Line 2: | ||
गणित में, पारपरिमित संख्याएँ या अनंत संख्याएँ ऐसी संख्याएँ होती हैं जो इस अर्थ में अनंत होती हैं कि वे सभी परिमित संख्याओं से बड़ी होती हैं। इनमें अनंत गणनसंख्या सम्मिलित हैं, जो कि गणन संख्याएँ हैं जिनका उपयोग अनंत समुच्चयों के आकार को निर्धारित करने के लिए किया जाता है, और पारपरिमित क्रमवाचक संख्या, जो कि अनंत समुच्चयों का क्रम प्रदान करने के लिए उपयोग की जाने वाली क्रमिक संख्याएँ हैं।<ref>{{Cite web|url=https://www.dictionary.com/browse/transfinite-number|title=Definition of transfinite number {{!}} Dictionary.com|website=www.dictionary.com|language=en|access-date=2019-12-04}}</ref><ref name=":0">{{Cite web|url=https://www.math.utah.edu/~pa/math/sets.html|title=अनंत संख्याएँ और समुच्चय सिद्धांत|website=www.math.utah.edu|access-date=2019-12-04}}</ref> अनंत शब्द 1895 में [[जॉर्ज कैंटर]] द्वारा प्रदान किया गया था,<ref>{{Cite web|url=https://www.britannica.com/biography/Georg-Ferdinand-Ludwig-Philipp-Cantor|title=Georg Cantor {{!}} Biography, Contributions, Books, & Facts|website=Encyclopedia Britannica|language=en|access-date=2019-12-04}}</ref><ref>{{cite journal | url=http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN00225557X | author=Georg Cantor | title=Beiträge zur Begründung der transfiniten Mengenlehre (1) | journal=Mathematische Annalen | volume=46 | number=4 | pages=481–512 | date=Nov 1895 }} {{Open access}}</ref><ref>{{cite journal | url=http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002256460 | author=Georg Cantor | title=Beiträge zur Begründung der transfiniten Mengenlehre (2) | journal=Mathematische Annalen | volume=49 | number=2 | pages=207–246 | date=Jul 1897 }} {{Open access}}</ref><ref>{{cite book | url=https://www.maths.ed.ac.uk/~v1ranick/papers/cantor1.pdf | author=Georg Cantor | editor=Philip E.B. Jourdain | title=ट्रांसफ़िनिट संख्याओं के सिद्धांत की स्थापना में योगदान| location=New York | publisher=Dover Publications, Inc. | year=1915 }} English translation of Cantor (1895, 1897).</ref> जो इन वस्तुओं के संबंध में अनंत शब्द के कुछ निहितार्थों से बचना चाहते थे, जो, फिर भी सीमित नहीं थे।{{cn|reason=Encyclopedia Britannica[4] doesn't cover this aspect. Cantor.1915[7] apparently just distinguishes 'finite aggregates' and 'transfinite aggregates' (p. 103, Sect. 6).|date=May 2021}} कुछ समकालीन लेखक इन चिंताओं को साझा करते हैं लेकिन अब पारपरिमित गणनसंख्या और क्रमवाचक संख्या को अनंत संख्याओं के रूप में संदर्भित करने के लिए इसे स्वीकार कर लिया गया है। फिर भी, पारपरिमित शब्द भी प्रयोग में रहता है। | गणित में, पारपरिमित संख्याएँ या अनंत संख्याएँ ऐसी संख्याएँ होती हैं जो इस अर्थ में अनंत होती हैं कि वे सभी परिमित संख्याओं से बड़ी होती हैं। इनमें अनंत गणनसंख्या सम्मिलित हैं, जो कि गणन संख्याएँ हैं जिनका उपयोग अनंत समुच्चयों के आकार को निर्धारित करने के लिए किया जाता है, और पारपरिमित क्रमवाचक संख्या, जो कि अनंत समुच्चयों का क्रम प्रदान करने के लिए उपयोग की जाने वाली क्रमिक संख्याएँ हैं।<ref>{{Cite web|url=https://www.dictionary.com/browse/transfinite-number|title=Definition of transfinite number {{!}} Dictionary.com|website=www.dictionary.com|language=en|access-date=2019-12-04}}</ref><ref name=":0">{{Cite web|url=https://www.math.utah.edu/~pa/math/sets.html|title=अनंत संख्याएँ और समुच्चय सिद्धांत|website=www.math.utah.edu|access-date=2019-12-04}}</ref> अनंत शब्द 1895 में [[जॉर्ज कैंटर]] द्वारा प्रदान किया गया था,<ref>{{Cite web|url=https://www.britannica.com/biography/Georg-Ferdinand-Ludwig-Philipp-Cantor|title=Georg Cantor {{!}} Biography, Contributions, Books, & Facts|website=Encyclopedia Britannica|language=en|access-date=2019-12-04}}</ref><ref>{{cite journal | url=http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN00225557X | author=Georg Cantor | title=Beiträge zur Begründung der transfiniten Mengenlehre (1) | journal=Mathematische Annalen | volume=46 | number=4 | pages=481–512 | date=Nov 1895 }} {{Open access}}</ref><ref>{{cite journal | url=http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002256460 | author=Georg Cantor | title=Beiträge zur Begründung der transfiniten Mengenlehre (2) | journal=Mathematische Annalen | volume=49 | number=2 | pages=207–246 | date=Jul 1897 }} {{Open access}}</ref><ref>{{cite book | url=https://www.maths.ed.ac.uk/~v1ranick/papers/cantor1.pdf | author=Georg Cantor | editor=Philip E.B. Jourdain | title=ट्रांसफ़िनिट संख्याओं के सिद्धांत की स्थापना में योगदान| location=New York | publisher=Dover Publications, Inc. | year=1915 }} English translation of Cantor (1895, 1897).</ref> जो इन वस्तुओं के संबंध में अनंत शब्द के कुछ निहितार्थों से बचना चाहते थे, जो, फिर भी सीमित नहीं थे।{{cn|reason=Encyclopedia Britannica[4] doesn't cover this aspect. Cantor.1915[7] apparently just distinguishes 'finite aggregates' and 'transfinite aggregates' (p. 103, Sect. 6).|date=May 2021}} कुछ समकालीन लेखक इन चिंताओं को साझा करते हैं लेकिन अब पारपरिमित गणनसंख्या और क्रमवाचक संख्या को अनंत संख्याओं के रूप में संदर्भित करने के लिए इसे स्वीकार कर लिया गया है। फिर भी, पारपरिमित शब्द भी प्रयोग में रहता है। | ||
अनंत | अनंत संख्याओं पर उल्लेखनीय कार्य वाकलॉ सिएरपिंस्की द्वारा किया गया था और लेकन्स सुर लेस नॉम्ब्रेस ट्रांसफ़िनिस (1928 पुस्तक) को [[कार्डिनल और क्रमसूचक संख्याएँ|गणनसंख्या और क्रमसूचक संख्याएँ]] (1958<ref name="oxtoby">{{citation | ||
| last = Oxtoby | first = J. C. | authorlink = John C. Oxtoby | | last = Oxtoby | first = J. C. | authorlink = John C. Oxtoby | ||
Line 54: | Line 54: | ||
कैंटर के क्रमिक संख्याओं के सिद्धांत में, प्रत्येक पूर्णांक संख्या का एक उत्तराधिकारी होना चाहिए।<ref name="ONG">[[John Horton Conway]], (1976) ''[[On Numbers and Games]]''. Academic Press, ISBN 0-12-186350-6. ''(See Chapter 3.)''</ref> सभी नियमित पूर्णांकों के बाद अगला पूर्णांक, जो कि पहला अनंत पूर्णांक है, <math>\omega</math> नाम दिया गया है, इस संदर्भ में, <math>\omega+1</math> से बड़ा <math>\omega</math> है , और <math>\omega\cdot2</math>, <math>\omega^{2}</math> और <math>\omega^{\omega}</math> अभी भी बड़े हैं. अंकगणितीय अभिव्यक्ति युक्त <math>\omega</math> एक क्रमसूचक संख्या निर्दिष्ट करता है, और उस संख्या तक के सभी पूर्णांकों के समुच्चय के रूप में सोचा जा सकता है। किसी दी गई संख्या में सामान्यतः कई अभिव्यक्तियाँ होती हैं जो इसका प्रतिनिधित्व करती हैं, यद्यपि, एक अद्वितीय क्रमसूचक सामान्य रूप है है जो इसका प्रतिनिधित्व करता है,<ref name="ONG" />अनिवार्य रूप से अंकों का एक सीमित अनुक्रम जो <math>\omega</math> अवरोही शक्तियों के गुणांक देता है। | कैंटर के क्रमिक संख्याओं के सिद्धांत में, प्रत्येक पूर्णांक संख्या का एक उत्तराधिकारी होना चाहिए।<ref name="ONG">[[John Horton Conway]], (1976) ''[[On Numbers and Games]]''. Academic Press, ISBN 0-12-186350-6. ''(See Chapter 3.)''</ref> सभी नियमित पूर्णांकों के बाद अगला पूर्णांक, जो कि पहला अनंत पूर्णांक है, <math>\omega</math> नाम दिया गया है, इस संदर्भ में, <math>\omega+1</math> से बड़ा <math>\omega</math> है , और <math>\omega\cdot2</math>, <math>\omega^{2}</math> और <math>\omega^{\omega}</math> अभी भी बड़े हैं. अंकगणितीय अभिव्यक्ति युक्त <math>\omega</math> एक क्रमसूचक संख्या निर्दिष्ट करता है, और उस संख्या तक के सभी पूर्णांकों के समुच्चय के रूप में सोचा जा सकता है। किसी दी गई संख्या में सामान्यतः कई अभिव्यक्तियाँ होती हैं जो इसका प्रतिनिधित्व करती हैं, यद्यपि, एक अद्वितीय क्रमसूचक सामान्य रूप है है जो इसका प्रतिनिधित्व करता है,<ref name="ONG" />अनिवार्य रूप से अंकों का एक सीमित अनुक्रम जो <math>\omega</math> अवरोही शक्तियों के गुणांक देता है। | ||
यद्यपि, सभी अनंत पूर्णांकों को कैंटर सामान्य रूप द्वारा प्रदर्शित नहीं किया जा सकता है, और पहला जो नहीं किया जा सकता उसे <math>\omega^{\omega^{\omega^{...}}}</math>सीमा द्वारा दर्शाया जा सकता है और <math>\varepsilon_{0}</math> कहा जाता है .<ref name="ONG" /> <math>\varepsilon_{0}</math> का सबसे छोटा समाधान है <math>\omega^{\varepsilon}=\varepsilon</math>, और निम्नलिखित समाधान <math>\varepsilon_{1}, ...,\varepsilon_{\omega}, ...,\varepsilon_{\varepsilon_{0}}, ...</math> अभी भी बड़े क्रम-निर्देश दें, और जब तक कोई सीमा तक नहीं पहुंच जाता तब तक उसका पालन <math>\varepsilon_{\varepsilon_{\varepsilon_{...}}}</math>किया जा सकता है , जो इसका पहला समाधान <math>\varepsilon_{\alpha}=\alpha</math> है। . इसका तात्पर्य यह है कि सभी अनंत पूर्णांकों को निर्दिष्ट करने में सक्षम होने के लिए, किसी को नामों के अनंत अनुक्रम के बारे में सोचना चाहिए: क्योंकि यदि किसी को सबसे बड़ा पूर्णांक निर्दिष्ट करना है, तो वह प्रायः उसके बड़े उत्तराधिकारी का उल्लेख करने में सक्षम होगा। लेकिन जैसा कि कैंटर ने यहां तक उल्लेख किया है,कि {{citation needed|date=May 2021}}किसी को केवल यह अनंत संख्याओं के निम्नतम वर्ग तक पहुंचने की अनुमति देता है: जिनके समुच्चय का आकार गणनसंख्या <math>\aleph_{0}</math> के अनुरूप होता है। . | |||
==यह भी देखें== | ==यह भी देखें== | ||
Line 80: | Line 80: | ||
{{Infinity}} | {{Infinity}} | ||
{{Authority control}} | {{Authority control}} | ||
[[Category:All articles with failed verification]] | |||
[[Category:All articles with unsourced statements]] | |||
[[Category: | [[Category:Articles with failed verification from May 2021]] | ||
[[Category:Articles with unsourced statements from May 2021]] | |||
[[Category:CS1 English-language sources (en)]] | |||
[[Category:Collapse templates]] | |||
[[Category:Created On 30/06/2023]] | [[Category:Created On 30/06/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Multi-column templates]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages using div col with small parameter]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Templates using under-protected Lua modules]] | |||
[[Category:Wikipedia fully protected templates|Div col]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:अनंत समुच्चय सिद्धांत में बुनियादी अवधारणाएँ]] | |||
[[Category:कार्डिनल संख्या]] | |||
[[Category:क्रमसूचक संख्या]] |
Latest revision as of 17:42, 10 July 2023
गणित में, पारपरिमित संख्याएँ या अनंत संख्याएँ ऐसी संख्याएँ होती हैं जो इस अर्थ में अनंत होती हैं कि वे सभी परिमित संख्याओं से बड़ी होती हैं। इनमें अनंत गणनसंख्या सम्मिलित हैं, जो कि गणन संख्याएँ हैं जिनका उपयोग अनंत समुच्चयों के आकार को निर्धारित करने के लिए किया जाता है, और पारपरिमित क्रमवाचक संख्या, जो कि अनंत समुच्चयों का क्रम प्रदान करने के लिए उपयोग की जाने वाली क्रमिक संख्याएँ हैं।[1][2] अनंत शब्द 1895 में जॉर्ज कैंटर द्वारा प्रदान किया गया था,[3][4][5][6] जो इन वस्तुओं के संबंध में अनंत शब्द के कुछ निहितार्थों से बचना चाहते थे, जो, फिर भी सीमित नहीं थे।[citation needed] कुछ समकालीन लेखक इन चिंताओं को साझा करते हैं लेकिन अब पारपरिमित गणनसंख्या और क्रमवाचक संख्या को अनंत संख्याओं के रूप में संदर्भित करने के लिए इसे स्वीकार कर लिया गया है। फिर भी, पारपरिमित शब्द भी प्रयोग में रहता है।
अनंत संख्याओं पर उल्लेखनीय कार्य वाकलॉ सिएरपिंस्की द्वारा किया गया था और लेकन्स सुर लेस नॉम्ब्रेस ट्रांसफ़िनिस (1928 पुस्तक) को गणनसंख्या और क्रमसूचक संख्याएँ (1958[7] दूसरा संस्करण 1965[8]) में विस्तारित किया गया।.
परिभाषा
किसी भी परिमित प्राकृतिक संख्या का उपयोग कम से कम दो तरीकों क्रमसूचक के रूप में और गणनसंख्या के रूप में किया जा सकता है। गणन संख्याएं समुच्चय के आकार को निर्दिष्ट करती हैं (उदाहरण के लिए, पांच मार्बल्स का एक बैग)।, जबकि क्रमिक संख्याएँ एक क्रमबद्ध किए गए समुच्चय के भीतर एक सदस्य के क्रम को निर्दिष्ट करती हैं[9] (उदाहरण के लिए, "बाएं से तीसरा आदमी" या "जनवरी का सत्ताईसवां दिन"). जब अनंत संख्याओं तक विस्तारित किया जाता है, तो ये दोनों अवधारणाएं प्रत्येक से अलग समानता में नहीं रह जाती हैं। एक अनंत गणन संख्या का उपयोग एक अनंत रूप से बड़े समुच्चय के आकार का वर्णन करने के लिए किया जाता है,[2]जबकि अनंत क्रमवाचक संख्या का उपयोग ऑर्डर किए गए अनंत बड़े समुच्चय के भीतर स्थान का वर्णन करने के लिए किया जाता है।[9][failed verification]
सबसे उल्लेखनीय क्रमिक और गणन संख्याएँ क्रमशः हैं
- (ओमेगा):सबसे कम अनंत क्रमिक संख्या है। यह उनके सामान्य रैखिक क्रम के तहत प्राकृतिक संख्याओं का क्रम प्रकार भी है।
- (एलेफ़-एक): पहला अनंत गणन संख्या है। यह प्राकृतिक संख्याओं की प्रमुखता भी है। यदि पसंद का सिद्धांत कायम रहता है, तो अगली उच्चतर गणनसंख्या संख्या एलेफ़-एक है, यदि नहीं, तो ऐसे अन्य गणनसंख्या भी हो सकते हैं जो एलेफ़-एक के साथ अतुलनीय हों और एलेफ़-शून्य से बड़े हों। किसी भी तरह से, एलेफ़-शून्य और एलेफ़-एक के बीच कोई गणनसंख्या नहीं हैं।
सातत्य परिकल्पना यह प्रस्ताव है कि बीच में कोई मध्यवर्ती गणनसंख्या संख्याएँ नहीं हैं और सातत्य की प्रमुखता (वास्तविक संख्याओं के समुच्चय की प्रमुखता):[2]या समकक्ष वह वास्तविक संख्याओं के समुच्चय की प्रमुखता है। ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में, न तो सातत्य परिकल्पना और न ही इसके निषेध को सिद्ध किया जा सकता है।
पी. सुप्प्स और जे. रुबिन सहित कुछ लेखक, डेडेकाइंड-अनंत समुच्चय की कार्डिनैलिटी को संदर्भित करने के लिए पारपरिमित गणनसंख्या शब्द का उपयोग उन संदर्भों में करते हैं जहां यह अनंत गणनसंख्या के बराबर नहीं हो सकता है; अर्थात्, उन संदर्भों में जहां गणनीय विकल्प के सिद्धांत को स्वीकृत नहीं किया जाता है या धारण करने के लिये ज्ञात नहीं है है। इस परिभाषा को देखते हुए, निम्नलिखित सभी समकक्ष हैं:
- एक अनंत गणनसंख्या है. अर्थात् एक डेडेकाइंड अनंत समुच्चय है ऐसी कि प्रमुखता, है।
- एक गणनसंख्या है ऐसा है कि
यद्यपि अनंत क्रमवाचक संख्या और गणनसंख्या दोनों केवल प्राकृतिक संख्याओं का सामान्यीकरण करते हैं, हाइपररियल संख्याओं और अतियथार्थवादी संख्याओं सहित संख्याओं की अन्य प्रणालियाँ, वास्तविक संख्याओं का सामान्यीकरण प्रदान करती हैं।[10]
उदाहरण
कैंटर के क्रमिक संख्याओं के सिद्धांत में, प्रत्येक पूर्णांक संख्या का एक उत्तराधिकारी होना चाहिए।[11] सभी नियमित पूर्णांकों के बाद अगला पूर्णांक, जो कि पहला अनंत पूर्णांक है, नाम दिया गया है, इस संदर्भ में, से बड़ा है , और , और अभी भी बड़े हैं. अंकगणितीय अभिव्यक्ति युक्त एक क्रमसूचक संख्या निर्दिष्ट करता है, और उस संख्या तक के सभी पूर्णांकों के समुच्चय के रूप में सोचा जा सकता है। किसी दी गई संख्या में सामान्यतः कई अभिव्यक्तियाँ होती हैं जो इसका प्रतिनिधित्व करती हैं, यद्यपि, एक अद्वितीय क्रमसूचक सामान्य रूप है है जो इसका प्रतिनिधित्व करता है,[11]अनिवार्य रूप से अंकों का एक सीमित अनुक्रम जो अवरोही शक्तियों के गुणांक देता है।
यद्यपि, सभी अनंत पूर्णांकों को कैंटर सामान्य रूप द्वारा प्रदर्शित नहीं किया जा सकता है, और पहला जो नहीं किया जा सकता उसे सीमा द्वारा दर्शाया जा सकता है और कहा जाता है .[11] का सबसे छोटा समाधान है , और निम्नलिखित समाधान अभी भी बड़े क्रम-निर्देश दें, और जब तक कोई सीमा तक नहीं पहुंच जाता तब तक उसका पालन किया जा सकता है , जो इसका पहला समाधान है। . इसका तात्पर्य यह है कि सभी अनंत पूर्णांकों को निर्दिष्ट करने में सक्षम होने के लिए, किसी को नामों के अनंत अनुक्रम के बारे में सोचना चाहिए: क्योंकि यदि किसी को सबसे बड़ा पूर्णांक निर्दिष्ट करना है, तो वह प्रायः उसके बड़े उत्तराधिकारी का उल्लेख करने में सक्षम होगा। लेकिन जैसा कि कैंटर ने यहां तक उल्लेख किया है,कि[citation needed]किसी को केवल यह अनंत संख्याओं के निम्नतम वर्ग तक पहुंचने की अनुमति देता है: जिनके समुच्चय का आकार गणनसंख्या के अनुरूप होता है। .
यह भी देखें
संदर्भ
- ↑ "Definition of transfinite number | Dictionary.com". www.dictionary.com (in English). Retrieved 2019-12-04.
- ↑ 2.0 2.1 2.2 "अनंत संख्याएँ और समुच्चय सिद्धांत". www.math.utah.edu. Retrieved 2019-12-04.
- ↑ "Georg Cantor | Biography, Contributions, Books, & Facts". Encyclopedia Britannica (in English). Retrieved 2019-12-04.
- ↑ Georg Cantor (Nov 1895). "Beiträge zur Begründung der transfiniten Mengenlehre (1)". Mathematische Annalen. 46 (4): 481–512.
- ↑ Georg Cantor (Jul 1897). "Beiträge zur Begründung der transfiniten Mengenlehre (2)". Mathematische Annalen. 49 (2): 207–246.
- ↑ Georg Cantor (1915). Philip E.B. Jourdain (ed.). ट्रांसफ़िनिट संख्याओं के सिद्धांत की स्थापना में योगदान (PDF). New York: Dover Publications, Inc. English translation of Cantor (1895, 1897).
- ↑ Oxtoby, J. C. (1959), "Review of Cardinal and Ordinal Numbers (1st ed.)", Bulletin of the American Mathematical Society, 65 (1): 21–23, doi:10.1090/S0002-9904-1959-10264-0, MR 1565962
- ↑ Goodstein, R. L. (December 1966), "Review of Cardinal and Ordinal Numbers (2nd ed.)", The Mathematical Gazette, 50 (374): 437, doi:10.2307/3613997, JSTOR 3613997
- ↑ 9.0 9.1 Weisstein, Eric W. (3 May 2023). "क्रमसूचक संख्या". mathworld.wolfram.com (in English).
- ↑ Beyer, W. A.; Louck, J. D. (1997), "Transfinite function iteration and surreal numbers", Advances in Applied Mathematics, 18 (3): 333–350, doi:10.1006/aama.1996.0513, MR 1436485
- ↑ 11.0 11.1 11.2 John Horton Conway, (1976) On Numbers and Games. Academic Press, ISBN 0-12-186350-6. (See Chapter 3.)
ग्रन्थसूची
- Levy, Azriel, 2002 (1978) Basic Set Theory. Dover Publications. ISBN 0-486-42079-5
- O'Connor, J. J. and E. F. Robertson (1998) "Georg Ferdinand Ludwig Philipp Cantor," MacTutor History of Mathematics archive.
- Rubin, Jean E., 1967. "Set Theory for the Mathematician". San Francisco: Holden-Day. Grounded in Morse–Kelley set theory.
- Rudy Rucker, 2005 (1982) Infinity and the Mind. Princeton Univ. Press. Primarily an exploration of the philosophical implications of Cantor's paradise. ISBN 978-0-691-00172-2.
- Patrick Suppes, 1972 (1960) "Axiomatic Set Theory". Dover. ISBN 0-486-61630-4. Grounded in ZFC.