View source for आकार की सीमा का सिद्धांत

[[File:JohnvonNeumann-LosAlamos.gif|thumb|alt=refer to caption|जॉन वॉन न्यूमैन]]समुच्चय सिद्धांत में, '''आकार की सीमा का सिद्धांत''' [[जॉन वॉन न्यूमैन]] द्वारा [[सेट (गणित)|समुच्चय]] और क्लास के लिए अपने 1925 [[स्वयंसिद्ध प्रणाली]] में प्रस्तावित किया गया था।<ref name=Neumann1925>{{harvnb|von Neumann|1925|p=223}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967c|pp=397&ndash;398}}.</ref> यह आकार सिद्धांत की सीमा को औपचारिक बनाता है, जो समुच्चय सिद्धांत के पहले के सूत्रीकरण में सामने आए विरोधाभासों से बचाता है, यह पहचानकर कि कुछ वर्ग समुच्चय होने के लिए बहुत बड़े हैं। वॉन न्यूमैन ने अनुभव किया कि इन बड़े वर्गों को एक वर्ग का सदस्य बनने की अनुमति देने से विरोधाभास पैदा होता है।<ref name=HallettNeumann>{{harvnb|Hallett|1984|p=290}}.</ref> एक वर्ग जो एक वर्ग का सदस्य है वह एक समुच्चय है; एक वर्ग जो समुच्चय नहीं है वह एक [[उचित वर्ग]] है। प्रत्येक वर्ग ''V'' का [[उपवर्ग (सेट सिद्धांत)|उपवर्ग]] है, सभी समुच्चयों का वर्ग है।{{efn|Proof: Let ''A'' be a class and ''X''&nbsp;∈&nbsp;''A''. Then ''X'' is a set, so ''X''&nbsp;∈&nbsp;''V''. Therefore, ''A''&nbsp;⊆&nbsp;''V''.}} आकार की सीमा का सिद्धांत कहता है कि एक वर्ग एक समुच्चय है यदि और केवल अगर यह ''V'' से छोटा है - अर्थात, इसे ''V'' [[पर]] मैप करने वाला कोई फलन नहीं है। प्रायः, यह सिद्धांत तार्किक रूप से समकक्ष रूप में बताया गया है: एक वर्ग एक उचित वर्ग है यदि और केवल अगर कोई फलन है जो इसे ''V'' पर मैप करता है।

वॉन न्यूमैन का अभिगृहीत प्रतिस्थापन के अभिगृहीत, पृथक्करण के अभिगृहीत, मिलन के अभिगृहीत और वैश्विक चयन के अभिगृहीत के सिद्धांतों को दर्शाता है। यह वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत (एनबीजी) और मोर्स-केली समुच्चय सिद्धांत में प्रतिस्थापन, संघ और वैश्विक पसंद के संयोजन के बराबर है। वर्ग सिद्धांतों की बाद की व्याख्याएँ - जैसे कि [[पॉल बर्नेज़]], कर्ट गोडेल और जॉन एल. केली - वॉन न्यूमैन के स्वयंसिद्ध के बजाय प्रतिस्थापन, संघ और वैश्विक पसंद के समकक्ष एक विकल्प स्वयंसिद्ध का उपयोग करते हैं।<ref>{{harvnb|Bernays|1937|pp=66&ndash;70}}; {{harvnb|Bernays|1941|pp=1&ndash;6}}. {{harvnb|Gödel|1940|pp=3&ndash;7}}. {{harvnb|Kelley|1955|pp=251&ndash;273}}.</ref> 1930 में, [[अर्नेस्ट ज़र्मेलो]] ने आकार की सीमा के सिद्धांत को संतुष्ट करते हुए समुच्चय सिद्धांत के मॉडल को परिभाषित किया।<ref name=Zermelo1930>{{harvnb|Zermelo|1930}}; English translation: {{harvnb|Ewald|1996}}.</ref>

[[अब्राहम फ्रेंकेल]] और एज़्रिएल लेवी ने कहा है कि आकार की सीमा का सिद्धांत "आकार सिद्धांत की सीमा" पर अधिकृत नहीं करता है '''क्योंकि यह शक्ति समुच्चय''' के सिद्धांत को नहीं दर्शाता है।<ref>{{harvnb|Fraenkel|Bar-Hillel|Levy|1973|p=137}}.</ref> माइकल हैलेट ने तर्क दिया है कि आकार सिद्धांत की सीमा पावर समुच्चय स्वयंसिद्ध को उचित नहीं ठहराती है और वॉन न्यूमैन की स्पष्ट धारणा [पावर-समुच्चय की छोटीता की] ज़र्मेलो, फ्रेंकेल और लेवी की पावर-समुच्चय की छोटीता की अस्पष्ट रूप से छिपी अंतर्निहित धारणा के लिए बेहतर लगती है।<ref name="Hallettpowersets">{{harvnb|Hallett|1984|p=295}}.</ref>



== औपचारिक कथन ==
आकार की सीमा के सिद्धांत का सामान्य संस्करण - एक वर्ग एक उचित वर्ग है यदि और केवल तभी जब कोई फलन होता है जो इसे वी पर मैप करता है{{space|thin}}—समुच्चय सिद्धांत की [[औपचारिक भाषा]] में इस प्रकार व्यक्त किया गया है:
:<math>\begin{align}
\forall C \Bigl[ \lnot \exist D \left(C \in D\right) \iff \exist F \bigl[&\,\forall y \bigl(\exist D(y \in D) \implies \exist x [\,x \in C \land (x, y) \in F\,]\bigr) \\
&\, \land \, \forall x \forall y \forall z \bigl(\,[\,(x, y) \in F \land (x, z) \in F\,] \implies y = z\bigr)\,\bigr]\,\Bigr]
\end{align}</math>
गोडेल ने यह परिपाटी प्रस्तुत की कि अपरकेस वेरिएबल्स सभी वर्गों में होते हैं, जबकि लोअरकेस वेरिएबल्स सभी समुच्चयों में होते हैं।<ref>{{harvnb|Gödel|1940|p=3}}.</ref> यह सम्मेलन हमें लिखने की अनुमति देता है:
{{plainlist|indent=1}}
* <math>\exist y\, \varphi(y)</math> के बजाय <math>\exist y \bigl(\exist D (y \in D) \land \varphi(y)\bigr)</math>
* <math>\forall y\, \varphi(y)</math> के बजाय <math>\forall y \bigl(\exist D (y \in D) \implies \varphi(y)\bigr)</math>
{{endplainlist}}

गोडेल के सम्मेलन के साथ, आकार की सीमा का सिद्धांत लिखा जा सकता है:
:<math>\begin{align}
\forall C \Bigl[ \lnot \exist D \left( C \in D\right) \iff \exist F \bigl[&\,\forall y \exist x \bigl( x \in C \land (x, y) \in F \bigr) \\
&\, \land \, \forall x \forall y \forall z \bigl(\,[\,(x, y) \in F \land (x, z) \in F\,] \implies y = z\bigr)\,\bigr]\,\Bigr]
\end{align}</math>


== स्वयंसिद्ध के निहितार्थ ==
वॉन न्यूमैन ने साबित किया कि आकार की सीमा का सिद्धांत प्रतिस्थापन के सिद्धांत का तात्पर्य है, जिसे इस प्रकार व्यक्त किया जा सकता है: यदि एफ एक फलन है और ए एक समुच्चय है, तो एफ (ए) एक समुच्चय है। यह [[विरोधाभास द्वारा प्रमाण]] है. मान लीजिए F एक फलन है और A एक समुच्चय है। मान लें कि F(A) एक उचित वर्ग है। फिर एक फलन G है जो F(A) को V पर मैप करता है। चूंकि समग्र फलन G∘FF, A को V पर मैप करता है, आकार की सीमा के सिद्धांत का तात्पर्य है कि A एक उचित वर्ग है, जो A के एक समुच्चय होने का खंडन करता है। इसलिए, F(A) एक समुच्चय है। चूंकि प्रतिस्थापन का सिद्धांत#पृथक्करण के स्वयंसिद्ध स्कीमा से संबंध रखता है, आकार की सीमा का सिद्धांत पृथक्करण के सिद्धांत का तात्पर्य करता है।{{efn|Proof that uses von Neumann's axiom: Let ''A'' be a set and ''B'' be the subclass produced by the axiom of separation. Using proof by contradiction, assume ''B'' is a proper class. Then there is a function ''F'' mapping ''B'' onto ''V''. Define the function ''G'' mapping ''A'' to ''V'': if ''x''&nbsp;∈&nbsp;''B'' then ''G''(''x'')&nbsp;{{=}}&nbsp;''F''(''x''); if ''x''&nbsp;∈&nbsp;''A''&nbsp;\&nbsp;''B'' then ''G''(''x'')&nbsp;{{=}}&nbsp;[[empty set|∅]]. Since ''F'' maps ''A'' onto ''V'', ''G'' maps ''A'' onto ''V''. So the axiom of limitation of size implies that ''A'' is a proper class, which contradicts ''A'' being a set. Therefore, ''B'' is a set.}}

वॉन न्यूमैन ने यह भी साबित किया कि उनके स्वयंसिद्ध का अर्थ है कि वी को [[सुव्यवस्थित]] किया जा सकता है। प्रमाण विरोधाभास से यह साबित करने से शुरू होता है कि ऑर्ड, सभी ऑर्डिनल (गणित) का वर्ग, एक उचित वर्ग है। मान लीजिए कि ऑर्ड एक समुच्चय है। चूँकि यह एक [[सकर्मक समुच्चय]] है जो ∈ द्वारा सख्ती से सुव्यवस्थित है, यह एक क्रमसूचक है। तो Ord ∈ Ord, जो ∈ द्वारा Ord को सख्ती से सुव्यवस्थित किए जाने का खंडन करता है। इसलिए, ऑर्ड एक उचित वर्ग है। तो वॉन न्यूमैन के स्वयंसिद्ध का अर्थ है कि एक फलन F है जो Ord को V पर मैप करता है। V के एक सुव्यवस्थित क्रम को परिभाषित करने के लिए, G को F का उपवर्ग होने दें जिसमें क्रमित जोड़े (α,x) शामिल हैं जहां α सबसे कम β है जैसे कि (β,x)∈F; यानी, G = {(α, x) ∈ F{{space|hair}}: ∀β((β,x) ∈F ⇒ α ≤ β)}. फलन G, Ord और V के उपसमुच्चय के बीच एक-से-एक पत्राचार है। इसलिए, x < y यदि G<sup>−1</sup>(x)<G<sup>−1</sup>(y) वी के एक सुव्यवस्थित क्रम को परिभाषित करता है। यह सुव्यवस्थित क्रम एक वैश्विक विकल्प फलन को परिभाषित करता है: लेट इन्फ़िमम और सुप्रीमम{{space|hair}}(x) एक गैर-रिक्त समुच्चय x का सबसे छोटा तत्व हो। इंफ के बाद से{{space|hair}}(x) ∈ x, यह फलन प्रत्येक गैर-रिक्त समुच्चय x के लिए x का एक तत्व चुनता है। इसलिए, इंफ{{space|hair}}(x) एक वैश्विक पसंद फलन है, इसलिए वॉन न्यूमैन का स्वयंसिद्ध वैश्विक पसंद के स्वयंसिद्ध का तात्पर्य है।

1968 में, एज़्रिएल लेवी ने साबित किया कि वॉन न्यूमैन का सिद्धांत संघ के सिद्धांत को दर्शाता है। सबसे पहले, उन्होंने संघ के स्वयंसिद्ध का उपयोग किए बिना साबित किया कि अध्यादेशों के प्रत्येक समुच्चय की एक ऊपरी सीमा होती है। फिर उन्होंने एक फलन का उपयोग किया जो यह साबित करने के लिए ऑर्ड को वी पर मैप करता है कि यदि ए एक समुच्चय है, तो ∪{{space|hair}}ए एक समुच्चय है.<ref>{{harvnb|Levy|1968}}.</ref>
प्रतिस्थापन, वैश्विक पसंद और संघ के सिद्धांत (वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत के अन्य सिद्धांतों के साथ) आकार की सीमा के सिद्धांत को दर्शाते हैं।{{efn|This can be rephrased as: NBG implies the axiom of limitation of size. In 1929, von Neumann proved that the axiom system that later evolved into NBG implies the axiom of limitation of size. ({{harvnb|Ferreirós|2007|p=380}}.)}} इसलिए, यह स्वयंसिद्ध एनबीजी या मोर्स-केली समुच्चय सिद्धांत में प्रतिस्थापन, वैश्विक विकल्प और संघ के संयोजन के बराबर है। इन समुच्चय सिद्धांतों ने केवल प्रतिस्थापन के स्वयंसिद्ध और आकार की सीमा के स्वयंसिद्ध के लिए पसंद के स्वयंसिद्ध के एक रूप को प्रतिस्थापित किया क्योंकि वॉन न्यूमैन की स्वयंसिद्ध प्रणाली में संघ का स्वयंसिद्ध शामिल है। लेवी का यह प्रमाण कि यह सिद्धांत निरर्थक है, कई वर्षों बाद आया।<ref>It came 43 years later: von Neumann stated his axioms in 1925 and Lévy's proof appeared in 1968. ({{harvnb|von Neumann|1925}}, {{harvnb|Levy|1968}}.)</ref>

{{Anchor|Easton's choice model}}वैश्विक पसंद के सिद्धांत के साथ एनबीजी के सिद्धांतों को पसंद के सामान्य सिद्धांत द्वारा प्रतिस्थापित करने से आकार की सीमा का सिद्धांत नहीं लगता है। 1964 में, विलियम बिगेलो ईस्टन|विलियम बी. ईस्टन ने एनबीजी का एक [[मॉडल सिद्धांत]] बनाने के लिए फोर्सिंग (समुच्चय सिद्धांत) का उपयोग किया, जिसमें वैश्विक विकल्प को पसंद के सिद्धांत द्वारा प्रतिस्थापित किया गया।<ref>{{harvnb|Easton|1964|pp=56a&ndash;64}}.</ref> ईस्टन के मॉडल में, V को रैखिक रूप से क्रमित नहीं किया जा सकता है, इसलिए इसे सुव्यवस्थित नहीं किया जा सकता है। इसलिए, आकार की सीमा का सिद्धांत इस मॉडल में विफल रहता है। Ord एक उचित वर्ग का उदाहरण है जिसे V पर मैप नहीं किया जा सकता क्योंकि (जैसा कि ऊपर साबित हुआ है) यदि Ord को V पर मैप करने वाला कोई फलन है, तो V को अच्छी तरह से ऑर्डर किया जा सकता है।

प्रतिस्थापन के सिद्धांत के साथ एनबीजी के सिद्धांतों को पृथक्करण के कमजोर सिद्धांत द्वारा प्रतिस्थापित करने से आकार की सीमा का सिद्धांत नहीं लगता है। परिभाषित करना <math>\omega_\alpha</math> के रूप में <math>\alpha</math>-वां अनंत [[प्रारंभिक क्रमसूचक]], जो कार्डिनल संख्या भी है <math>\aleph_\alpha</math>; नंबरिंग शुरू होती है <math>0</math>, इसलिए <math>\omega_0 = \omega.</math> 1939 में, गोडेल ने बताया कि एल<sub>ω<sub>ω</sub></sub>, रचनात्मक ब्रह्मांड का एक उपसमुच्चय, [[ZFC]] का एक मॉडल है जिसमें प्रतिस्थापन के स्थान पर पृथक्करण होता है।<ref>{{harvnb|Gödel|1939|p=223}}.</ref> इसे पृथक्करण द्वारा प्रतिस्थापन के साथ एनबीजी के एक मॉडल में विस्तारित करने के लिए, इसकी कक्षाएं एल के समुच्चय होने दें<sub>ω<sub>ω+1</sub></sub>, जो L के रचनात्मक उपसमुच्चय हैं<sub>ω<sub>ω</sub></उप>. यह मॉडल एनबीजी के वर्ग अस्तित्व सिद्धांतों को संतुष्ट करता है क्योंकि इन सिद्धांतों के समुच्चय चर को एल तक सीमित कर दिया गया है<sub>ω<sub>ω</sub></sub> पृथक्करण के सिद्धांत का [[उदाहरण (विधेय तर्क)]] उत्पन्न करता है, जो एल में होता है।{{efn|An axiom's set variable is restricted on the right side of the "if and only if." Also, an axiom's class variables are converted to set variables. For example, the class existence axiom <math>\forall A \, \exists B \, \forall u \, [u \in B \Leftrightarrow u \notin A)]</math> becomes <math>\forall a \, \exists b \, \forall u \, [u \in b \Leftrightarrow (u \in L_{\omega_\omega} \land u \notin a)].</math> The class existence axioms are in {{harvnb|Gödel|1940|p=5.}}}} यह वैश्विक पसंद के सिद्धांत को संतुष्ट करता है क्योंकि इसमें एल से संबंधित एक फलन है<sub>ω<sub>ω+1</sub></sub> जो ω को मैप करता है उप>ω</sub> एल पर उप>ओह<sub>ω</sub>, जिसका अर्थ है कि एल<sub>ω<sub>ω</sub></sub> सुव्यवस्थित है.{{efn|Gödel defined a function <math>F</math> that maps the class of ordinals onto <math>L</math>. The function <math>{F|}_{\omega_\omega}</math> (which is the [[Restriction of a function|restriction]] of <math>F</math> to <math>\omega_\omega</math>) maps <math>\omega_\omega</math> onto <math>L_{\omega_\omega}</math>, and it belongs to <math>L_{\omega_{\omega+1}}</math> because it is a constructible subset of <math>L_{\omega_\omega}</math>. Gödel uses the notation <math>F''\omega_\alpha</math> for <math>L_{\omega_\alpha}</math>. ({{harvnb|Gödel|1940|pp=37&ndash;38, 54}}.)}} आकार की सीमा का सिद्धांत विफल हो जाता है क्योंकि उचित वर्ग {ω<sub>''n''</sub>: n ∈ ω} में कार्डिनैलिटी एलेफ़ संख्या है|<math>\aleph_0</math>, इसलिए इसे L पर मैप नहीं किया जा सकता<sub>ω<sub>ω</sub></sub>, जिसमें प्रमुखता है <math>\aleph_\omega</math>.{{efn|Proof by contradiction that <math>\{\omega_n: n \in \omega\}</math> is a proper class''':''' Assume that it is a set. By the axiom of union, <math>\cup\,\{\omega_n: n \in \omega\}</math> is a set. This union equals <math>\omega_\omega</math>, the model's proper class of all ordinals, which contradicts the union being a set. Therefore, <math>\{\omega_n: n \in \omega\}</math> is a proper class.<br> Proof that <math>|L_{\omega_\omega}| = \aleph_\omega\!:</math> The function <math>{F|}_{\omega_\omega}</math> maps <math>\omega_\omega</math> onto <math>L_{\omega_\omega}</math>, so <math>|L_{\omega_\omega}| \le |\omega_\omega|.</math> Also, <math>\omega_\omega \subseteq L_{\omega_\omega}</math> implies <math>|\omega_\omega| \le |L_{\omega_\omega}|.</math> Therefore, <math>|L_{\omega_\omega}| = |\omega_\omega| = \aleph_\omega.</math>}}

1923 में ज़र्मेलो को लिखे एक पत्र में, वॉन न्यूमैन ने अपने स्वयंसिद्ध कथन का पहला संस्करण बताया: एक वर्ग एक उचित वर्ग है यदि और केवल तभी जब इसके और वी के बीच एक-से-एक पत्राचार हो।<ref name="HallettNeumann"/>आकार की सीमा का सिद्धांत वॉन न्यूमैन के 1923 के सिद्धांत का तात्पर्य है। इसलिए, इसका यह भी तात्पर्य है कि सभी उचित वर्ग V के समतुल्य हैं।

{{math proof|title = Proof that the axiom of limitation of size implies von Neumann's 1923 axiom|drop = hidden|proof = 
To prove the <math>\Longleftarrow</math> direction, let <math>A</math> be a class and <math>F</math> be a one-to-one correspondence from <math>A</math> to <math>V.</math> Since <math>F</math> maps <math>A</math> onto <math>V,</math> the axiom of limitation of size implies that <math>A</math> is a proper class.

To prove the <math>\Longrightarrow</math> direction, let <math>A</math> be a proper class. We will define well-ordered classes <math>(A, <)</math> and <math>(V, <),</math> and construct [[order isomorphism]]s between <math>(Ord, <), (A, <),</math> and <math>(V, <).</math> Then the order isomorphism from <math>(A, <)</math> to <math>(V, <)</math> is a one-to-one correspondence between <math>A</math> and <math>V.</math>

It was proved above that the axiom of limitation of size implies that there is a function <math>F</math> that maps <math>Ord</math> onto <math>V.</math> Also, <math>G</math> was defined as a subclass of <math>F</math> that is a one-to-one correspondence between <math>Dom(G)</math> and <math>V.</math> It defines a well-ordering on <math>V\colon\, x < y\,</math> if <math>G^{-1}(x) < G^{-1}(y).</math> Therefore, <math>G</math> is an order isomorphism from <math>(Dom(G), <)</math> to <math>(V, <).</math>

If <math>(C, <)</math> is well-ordered class, its proper initial segments are the classes <math>\{x \in C: x < y\}</math> where <math>y \in C.</math> Now <math>(Ord, <)</math> has the property that all of its proper initial segments are sets. Since <math>Dom(G) \subseteq Ord,</math> this property holds for <math>(Dom(G), <).</math> The order isomorphism <math>G</math> implies that this property holds for <math>(V, <).</math> Since <math>A \subseteq V,</math> this property holds for <math>(A, <).</math>

To obtain an order isomorphism from <math>(A, <)</math> to <math>(V, <),</math> the following theorem is used: If <math>P</math> is a proper class and the proper initial segments of <math>(P, <)</math> are sets, then there is an order isomorphism from <math>(Ord, <)</math> to <math>(P, <).</math>{{efn|This is the first half of theorem 7.7 in {{harvnb|Gödel|1940|p=27}}. Gödel defines the order isomorphism <math>F: (Ord, <) \rightarrow (A, <)</math> by [[transfinite recursion]]: <math>F(\alpha) = Inf(A \setminus \{F(\beta): \beta \in \alpha\}).</math>}} Since <math>(A, <)</math> and <math>(V, <)</math> satisfy the theorem's hypothesis, there are order isomorphisms <math>I_A\colon (Ord, <) \rightarrow (A, <)</math> and <math>I_V\colon (Ord, <) \rightarrow (V, <).</math>  Therefore, the order isomorphism <math>I_V \circ I_A^{-1}\colon (A, <) \rightarrow (V, <)</math> is a one-to-one correspondence between <math>A</math> and <math>V.</math>
}}

==जर्मेलो के मॉडल और आकार की सीमा का सिद्धांत==
[[File:Ernst Zermelo 1900s.jpg|thumb|alt=refer to caption|1900 के दशक में अर्न्स्ट ज़र्मेलो]]1930 में, ज़र्मेलो ने समुच्चय सिद्धांत के मॉडल पर एक लेख प्रकाशित किया, जिसमें उन्होंने साबित किया कि उनके कुछ मॉडल आकार की सीमा के सिद्धांत को संतुष्ट करते हैं।<ref name=Zermelo1930 />ये मॉडल [[संचयी पदानुक्रम]] V का उपयोग करके ZFC में बनाए गए हैं<sub>α</sub>, जिसे [[ट्रांसफ़िनिट रिकर्सन]] द्वारा परिभाषित किया गया है:
# वी<sub>0</sub>= खाली समुच्चय|∅.{{efn|This is the standard definition of ''V''<sub>0</sub>. Zermelo let ''V''<sub>0</sub> be a set of [[urelements]] and proved that if this set contains a single element, the resulting model satisfies the axiom of limitation of size (his proof also works for ''V''<sub>0</sub> {{=}} ∅). Zermelo stated that the axiom is not true for all models built from a set of urelements. ({{harvnb|Zermelo|1930|p=38}}; English translation: {{harvnb|Ewald|1996|p=1227.}})}}
# में<sub>α+1</sub>= वी<sub>α</sub>∪पी(वी<sub>α</sub>). अर्थात वी का [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]]<sub>α</sub> और इसका [[ सत्ता स्थापित ]]।{{efn|This is Zermelo's definition ({{harvnb|Zermelo|1930|p=36}}; English translation: {{harvnb|Ewald|1996|p=1225}}.). If ''V''<sub>0</sub> {{=}} ∅, this definition is equivalent to the standard definition ''V''<sub>α+1</sub>&nbsp;{{=}}&nbsp;''P''(''V''<sub>α</sub>) since ''V''<sub>α</sub>&nbsp;⊆&nbsp;''P''(''V''<sub>α</sub>) ({{harvnb|Kunen|1980|p=95}}; Kunen uses the notation R(α) instead of ''V''<sub>α</sub>). If ''V''<sub>0</sub> is a set of urelements, the standard definition eliminates the urelements at ''V''<sub>1</sub>.}}
# सीमा β के लिए: वी<sub>β</sub> = ∪<sub>α&nbsp;<&nbsp;β</sub>में<sub>α</sub>. अर्थात वी<sub>β</sub> पूर्ववर्ती V का मिलन है<sub>α</sub>.

ज़र्मेलो ने वी फॉर्म के मॉडल के साथ काम किया<sub>κ</sub> जहां κ [[वॉन न्यूमैन कार्डिनल]] है। मॉडल की कक्षाएं V के उपसमुच्चय हैं<sub>κ</sub>, और मॉडल का ∈-संबंध मानक ∈-संबंध है। मॉडल के समुच्चय वर्ग X इस प्रकार हैं कि X ∈ V<sub>κ</sub>.{{efn|If ''X'' is a set, then there is a class ''Y'' such that ''X''&nbsp;∈&nbsp;''Y''. Since ''Y''&nbsp;⊆&nbsp;''V''<sub>κ</sub>, we have ''X''&nbsp;∈&nbsp;''V''<sub>κ</sub>. Conversely: if ''X''&nbsp;∈&nbsp;''V''<sub>κ</sub>, then ''X'' belongs to a class, so ''X'' is a set.}} ज़र्मेलो ने कार्डिनल्स की पहचान की κ जैसे कि वी<sub>κ</sub> संतुष्ट करता है:<ref>These theorems are part of Zermelo's Second Development Theorem. ({{harvnb|Zermelo|1930|p=37}}; English translation: {{harvnb|Ewald|1996|p=1226}}.)</ref>
: प्रमेय 1. एक वर्ग X एक समुच्चय है यदि और केवल यदि |X| < κ.
: प्रमेय 2. |वी<sub>κ</sub>| = κ.
चूँकि प्रत्येक वर्ग V का उपसमुच्चय है<sub>κ</sub>, प्रमेय 2 का तात्पर्य है कि प्रत्येक कक्षा X में [[प्रमुखता]] ≤ κ है। इसे प्रमेय 1 के साथ संयोजित करने से सिद्ध होता है: प्रत्येक उचित वर्ग में कार्डिनैलिटी κ होती है। इसलिए, प्रत्येक उचित कक्षा को वी के साथ एक-से-एक पत्राचार में रखा जा सकता है<sub>κ</sub>. यह पत्राचार वी का एक उपसमुच्चय है<sub>κ</sub>, तो यह मॉडल का एक वर्ग है। इसलिए, आकार की सीमा का सिद्धांत मॉडल V के लिए लागू होता है<sub>κ</sub>.

प्रमेय बताता है कि वी<sub>κ</sub> एक सुव्यवस्थित होना [[प्रत्यक्ष प्रमाण]] हो सकता है। चूँकि κ कार्डिनैलिटी κ और |V का एक क्रमसूचक है<sub>κ</sub>| = κ, κ और V के बीच एक-से-एक पत्राचार है<sub>κ</sub>. यह पत्राचार वी का सुव्यवस्थित क्रम उत्पन्न करता है<sub>κ</sub>. वॉन न्यूमैन का प्रमाण [[अप्रत्यक्ष प्रमाण]] है। यह विरोधाभास द्वारा यह साबित करने के लिए [[बुराली-फोर्टी विरोधाभास]] का उपयोग करता है कि सभी अध्यादेशों का वर्ग एक उचित वर्ग है। इसलिए, आकार की सीमा के सिद्धांत का तात्पर्य है कि एक फलन है जो सभी समुच्चयों के वर्ग पर सभी ऑर्डिनल्स के वर्ग को मैप करता है। यह फलन V का सुव्यवस्थित क्रम उत्पन्न करता है<sub>κ</sub>.<ref>{{harvnb|von Neumann|1925|p=223}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967c|p=398}}. Von Neumann's proof, which only uses axioms, has the advantage of applying to all models rather than just to ''V''<sub>κ</sub>.</ref>


===मॉडल वी<sub>ω</sub>===
यह प्रदर्शित करने के लिए कि प्रमेय 1 और 2 कुछ V के लिए मान्य हैं<sub>κ</sub>, हम पहले यह सिद्ध करते हैं कि यदि कोई समुच्चय V का है<sub>α</sub> तो यह बाद के सभी V से संबंधित है<sub>β</sub>, या समकक्ष: वी<sub>α</sub>⊆ वी<sub>β</sub> α ≤ β के लिए. यह β पर [[अनंत प्रेरण]] द्वारा सिद्ध होता है:
# β=0: वी<sub>0</sub>⊆ वी<sub>0</sub>.
# β+1 के लिए: आगमनात्मक परिकल्पना द्वारा, वी<sub>α</sub>⊆ वी<sub>β</sub>. इसलिए, वी<sub>α</sub>⊆ वी<sub>β</sub>⊆ वी<sub>β</sub>∪पी(वी<sub>β</sub>) = वी<sub>β+1</sub>.
# सीमा β के लिए: यदि α < β, तो V<sub>α</sub> ⊆ ∪<sub>ξ&nbsp;<&nbsp;β</sub>में<sub>ξ</sub>= वी<sub>β</sub>. यदि α=β, तो V<sub>α</sub>⊆ वी<sub>β</sub>.
समुच्चय पावर समुच्चय पी(वी) के माध्यम से संचयी पदानुक्रम में प्रवेश करते हैं<sub>β</sub>) चरण β+1 पर। निम्नलिखित परिभाषाओं की आवश्यकता होगी:
:यदि x एक समुच्चय है, तो [[रैंक (सेट सिद्धांत)|रैंक (समुच्चय सिद्धांत)]](x) न्यूनतम क्रमसूचक β है जैसे कि x∈V<sub>β+1</sub>.<ref>{{harvnb|Kunen|1980|p=95}}.</ref>
:ऑर्डिनल्स ए के एक समुच्चय का सर्वोच्च, सुपर ए द्वारा दर्शाया गया, सबसे कम ऑर्डिनल β है जैसे कि सभी α ∈ ए के लिए α ≤ β।

ज़र्मेलो का सबसे छोटा मॉडल V है<sub>ω</sub>. [[गणितीय प्रेरण]] यह सिद्ध करता है कि वी<sub>''n''</sub> सभी n < ω के लिए [[परिमित सेट|परिमित समुच्चय]] है:
# |वी<sub>0</sub>| = 0.
# |वी<sub>''n''+1</sub>| =|वी<sub>''n''</sub>∪पी(वी<sub>''n''</sub>)| ≤ |वी<sub>''n''</sub>| + 2 <sup>|वी<sub>''n''</sub>|</sup>, जो V से परिमित है<sub>''n''</sub> आगमनात्मक परिकल्पना द्वारा परिमित है।

प्रमेय 1 का प्रमाण: एक समुच्चय X, V में प्रवेश करता है<sub>ω</sub> पी(वी) के माध्यम से<sub>''n''</sub>) कुछ n < ω के लिए, इसलिए X ⊆ V<sub>''n''</sub>. चूंकि वी<sub>''n''</sub> परिमित है, एक्स परिमित है. व्युत्क्रम (तर्क): यदि कक्षा चूंकि सभी x∈X के लिए रैंक(x)≤N, हमारे पास X⊆V है<sub>''N''+1</sub>, तो एक्स ∈ वी<sub>''N''+2</sub>⊆ वी<sub>ω</sub>. इसलिए, X∈V<sub>ω</sub>.

प्रमेय 2 का प्रमाण: वी<sub>ω</sub> बढ़ते हुए आकार के अनगिनत अनंत अनेक परिमित समुच्चयों का मिलन है। इसलिए, इसमें प्रमुखता है <math>\aleph_0</math>, जो [[वॉन न्यूमैन कार्डिनल असाइनमेंट]] द्वारा ω के बराबर है।

वी के समुच्चय और वर्ग<sub>ω</sub> अनंत के सिद्धांत को छोड़कर एनबीजी के सभी सिद्धांतों को संतुष्ट करें।{{efn|Zermelo proved that ''V''<sub>ω</sub> satisfies ZFC without the axiom of infinity. The class existence axioms of NBG ({{harvnb|Gödel|1940|p=5}}) are true because ''V''<sub>ω</sub> is a set when viewed from the set theory that constructs it (namely, ZFC). Therefore, the axiom of separation produces subsets of ''V''<sub>ω</sub> that satisfy the class existence axioms.}}

===मॉडल वी<sub>κ</sub> जहां κ एक अत्यंत दुर्गम कार्डिनल=== है
V के लिए प्रमेय 1 और 2 को सिद्ध करने के लिए परिमितता के दो गुणों का उपयोग किया गया था<sub>ω</sub>:
# यदि λ एक परिमित कार्डिनल है, तो 2<sup>λ</sup>परिमित है।
# यदि A इस प्रकार के अध्यादेशों का एक समुच्चय है कि |A| परिमित है, और α सभी α∈A के लिए परिमित है, तो सुप A परिमित है।
अनंत के सिद्धांत को संतुष्ट करने वाले मॉडल खोजने के लिए, दृढ़ता से दुर्गम कार्डिनल्स को परिभाषित करने वाले गुणों का उत्पादन करने के लिए परिमित को < κ से बदलें। एक कार्डिनल κ अत्यधिक पहुंच योग्य नहीं है यदि κ >  ω और:
# यदि λ एक कार्डिनल है जैसे कि λ < κ, तो 2<sup>λ</sup> < κ.
# यदि A इस प्रकार के अध्यादेशों का एक समुच्चय है कि |A| < κ, और α < κ सभी α ∈ A के लिए, फिर समर्थन A < κ।
ये गुण दावा करते हैं कि κ तक नीचे से नहीं पहुंचा जा सकता है। पहली संपत्ति कहती है कि κ तक पावर समुच्चय द्वारा नहीं पहुंचा जा सकता; दूसरा कहता है कि प्रतिस्थापन के सिद्धांत द्वारा κ तक नहीं पहुंचा जा सकता।{{efn|Zermelo introduced strongly inaccessible cardinals κ so that ''V''<sub>κ</sub> would satisfy ZFC. The axioms of power set and replacement led him to the properties of strongly inaccessible cardinals. ({{harvnb|Zermelo|1930|pp=31&ndash;35}}; English translation: {{harvnb|Ewald|1996|pp=1221&ndash;1224}}.) Independently, [[Wacław Sierpiński]] and [[Alfred Tarski]] introduced these cardinals in 1930. ({{harvnb|Sierpiński|Tarski|1930}}.)}} जिस तरह ω प्राप्त करने के लिए अनंत के स्वयंसिद्ध की आवश्यकता होती है, उसी प्रकार दृढ़ता से दुर्गम कार्डिनल्स को प्राप्त करने के लिए एक स्वयंसिद्ध की आवश्यकता होती है। ज़र्मेलो ने अत्यधिक दुर्गम कार्डिनल्स के एक असीमित अनुक्रम के अस्तित्व की परिकल्पना की।{{efn|Zermelo used this sequence of cardinals to obtain a sequence of models that explains the paradoxes of set theory — such as, the Burali-Forti paradox and [[Russell's paradox]]. He stated that the paradoxes "depend solely on confusing ''set theory itself'' ... with individual ''models'' representing it. What appears as an 'ultrafinite non- or super-set' in one model is, in the succeeding model, a perfectly good, valid set with both a cardinal number and an ordinal type, and is itself a foundation stone for the construction of a new domain [model]." ({{harvnb|Zermelo|1930|pp=46&ndash;47}}; English translation: {{harvnb|Ewald|1996|p=1223}}.)}}

यदि κ एक अत्यधिक दुर्गम कार्डिनल है, तो ट्रांसफिनिट इंडक्शन |V साबित होता है<sub>α</sub>| <k सभी के लिए a<k:
# α = 0: |वी<sub>0</sub>| = 0.
# α+1 के लिए: |V<sub>α+1</sub>| =|वी<sub>α</sub>∪पी(वी<sub>α</sub>)| ≤ |वी<sub>α</sub>| + 2 <sup>|वी<sub>α</sub>|</sup>= 2<sup>|वी<sub>α</sub>|</sup> < κ. अंतिम असमानता आगमनात्मक परिकल्पना का उपयोग करती है और κ अत्यधिक दुर्गम है।
# सीमा α के लिए: |V<sub>α</sub>| = |∪<sub>ξ&nbsp;<&nbsp;α</sub>में<sub>ξ</sub>| ≤ समर्थन{|वी<sub>ξ</sub>| : ξ<α}<κ. अंतिम असमानता आगमनात्मक परिकल्पना का उपयोग करती है और κ अत्यधिक दुर्गम है।

प्रमेय 1 का प्रमाण: एक समुच्चय X, V में प्रवेश करता है<sub>κ</sub> पी(वी) के माध्यम से<sub>α</sub>) कुछ α< κ के लिए, इसलिए X ⊆V<sub>α</sub>. चूंकि |वी<sub>α</sub>| < κ, हमें |X| प्राप्त होता है < κ. इसके विपरीत: यदि कक्षा X में |X| < κ, मान लीजिए β = सुपर {रैंक(x): x ∈ X}। चूँकि κ अत्यंत दुर्गम है, |X| < κ और रैंक (x) < κ सभी x ∈ X के लिए β = super {rank(x): x ∈ X} < κ है। चूंकि सभी x ∈X के लिए रैंक(x) ≤ β, हमारे पास X ⊆V है<sub>β+1</sub>, तो एक्स ∈ वी<sub>β+2</sub>⊆ वी<sub>κ</sub>. इसलिए, X∈V<sub>κ</sub>.

प्रमेय 2 का प्रमाण: |वी<sub>κ</sub>| = |∪<sub>α&nbsp;<&nbsp;κ</sub>में<sub>α</sub>| ≤सुपर{|वी<sub>α</sub>| : α< κ}. मान लीजिए β यह सर्वोच्च है। चूँकि सर्वोच्च में प्रत्येक क्रमसूचक κ से कम है, हमारे पास β ≤ κ है। मान लीजिए β< κ. फिर एक कार्डिनल λ है जैसे कि β < λ < κ; उदाहरण के लिए, मान लीजिए λ=2<sup>|बी|</sup>. चूंकि λ ⊆ वी<sub>λ</sub> और |वी<sub>λ</sub>| सर्वोच्च में है, हमारे पास λ ≤ |V है<sub>λ</sub>| ≤β. यह β<<λ का खंडन करता है। इसलिए, |वी<sub>κ</sub>| = β = κ.

वी के समुच्चय और वर्ग<sub>κ</sub> एनबीजी के सभी सिद्धांतों को संतुष्ट करें।{{efn|Zermelo proved that ''V''<sub>κ</sub> satisfies ZFC if κ is a strongly inaccessible cardinal. The class existence axioms of NBG ({{harvnb|Gödel|1940|p=5}}) are true because ''V''<sub>κ</sub> is a set when viewed from the set theory that constructs it (namely, ZFC&nbsp;+ there exist infinitely many strongly inaccessible cardinals). Therefore, the axiom of separation produces subsets of ''V''<sub>κ</sub> that satisfy the class existence axioms.}}

== आकार सिद्धांत की सीमा ==
आकार सिद्धांत की सीमा एक [[अनुमानी]] सिद्धांत है जिसका उपयोग समुच्चय सिद्धांत के सिद्धांतों को उचित ठहराने के लिए किया जाता है। यह पूर्ण (विरोधाभासी) समझ स्वयंसिद्ध स्कीमा को प्रतिबंधित करके समुच्चय सैद्धांतिक विरोधाभासों से बचाता है:
:<math>\forall w_1,\ldots,w_n \, \exists x \, \forall u \, ( u \in x \iff \varphi(u, w_1, \ldots, w_n) )</math>
ऐसे उदाहरणों के लिए जो समुच्चय को उनके द्वारा उपयोग किए जाने वाले समुच्चय से 'बहुत अधिक बड़ा' नहीं देते हैं।<ref>{{harvnb|Fraenkel|Bar-Hillel|Levy|1973|pp= 32,137}}.</ref>
यदि बड़े का अर्थ कार्डिनल आकार में बड़ा है, तो अधिकांश सिद्धांतों को उचित ठहराया जा सकता है: पृथक्करण का सिद्धांत x का एक उपसमुच्चय उत्पन्न करता है जो x से बड़ा नहीं है। प्रतिस्थापन का सिद्धांत एक छवि समुच्चय f(x) उत्पन्न करता है जो x से बड़ा नहीं है। संघ का सिद्धांत एक ऐसे संघ का निर्माण करता है जिसका आकार संघ में सबसे बड़े समुच्चय के आकार से बड़ा नहीं होता है, जो कि संघ में समुच्चयों की संख्या से बड़ा होता है।<ref>{{harvnb|Hallett|1984|p=205}}.</ref> पसंद का सिद्धांत एक विकल्प समुच्चय का निर्माण करता है जिसका आकार गैर-रिक्त समुच्चय के दिए गए समुच्चय के आकार से बड़ा नहीं है।

आकार सिद्धांत की सीमा अनंत के सिद्धांत को उचित नहीं ठहराती:
:<math>\exists y \, [\empty \in y \, \land \, \forall x (x \in y \implies x \cup \{x\} \in y)],</math>
जो [[उत्तराधिकारी क्रमसूचक]] को पुनरावृत्त करके [[खाली सेट|खाली समुच्चय]] और खाली समुच्चय से प्राप्त समुच्चय का उपयोग करता है। चूँकि ये समुच्चय परिमित हैं, इस स्वयंसिद्ध को संतुष्ट करने वाला कोई भी समुच्चय, जैसे ω, इन समुच्चयों से बहुत बड़ा है। फ्रेंकेल और लेवी खाली समुच्चय और [[प्राकृतिक संख्या]]ओं के अनंत समुच्चय को मानते हैं, जिसका अस्तित्व अनंत और पृथक्करण के सिद्धांतों द्वारा निहित है, समुच्चय उत्पन्न करने के लिए शुरुआती बिंदु के रूप में।<ref>{{harvnb|Fraenkel|Bar-Hillel|Levy|1973|p=95}}.</ref>
आकार की सीमा के बारे में वॉन न्यूमैन का दृष्टिकोण आकार की सीमा के सिद्धांत का उपयोग करता है। जैसा कि उल्लेख किया गया है {{sectionlink||Implications of the axiom}}, वॉन न्यूमैन का स्वयंसिद्ध पृथक्करण, प्रतिस्थापन, मिलन और चयन के सिद्धांतों को दर्शाता है। फ्रेंकेल और लेवी की तरह, वॉन न्यूमैन को अनंत के स्वयंसिद्ध को अपने सिस्टम में जोड़ना पड़ा क्योंकि इसे उनके अन्य सिद्धांतों से सिद्ध नहीं किया जा सकता है।{{efn|The model whose sets are the elements of <math>V_\omega</math> and whose classes are the subsets of <math>V_\omega</math> satisfies all of his axioms except for the axiom of infinity, which fails because all sets are finite.}} आकार की सीमा पर वॉन न्यूमैन के दृष्टिकोण और फ्रेंकेल और लेवी के दृष्टिकोण के बीच अंतर हैं:
* वॉन न्यूमैन का स्वयंसिद्ध सिद्धांत एक स्वयंसिद्ध प्रणाली में आकार की सीमा डालता है, जिससे अधिकांश समुच्चय अस्तित्व स्वयंसिद्धों को साबित करना संभव हो जाता है। आकार सिद्धांत की सीमा अनौपचारिक तर्कों का उपयोग करके स्वयंसिद्धों को उचित ठहराती है जो प्रमाण की तुलना में असहमति के लिए अधिक खुले हैं।
* वॉन न्यूमैन ने पावर समुच्चय स्वयंसिद्ध को मान लिया क्योंकि इसे उनके अन्य सिद्धांतों से सिद्ध नहीं किया जा सकता है।{{efn|The model whose sets are the elements of <math>L_{\omega_1}</math> and whose classes are the elements of <math>L_{\omega_2}</math> satisfies all of his axioms except for the power set axiom. This axiom fails because all sets are countable.}} फ्रेंकेल और लेवी का कहना है कि आकार सिद्धांत की सीमा शक्ति समुच्चय सिद्धांत को उचित ठहराती है।<ref>{{harvnb|Hallett|1984|pp=200,&nbsp;202}}.</ref>
इस बात पर असहमति है कि क्या आकार सिद्धांत की सीमा शक्ति समुच्चय सिद्धांत को उचित ठहराती है। माइकल हैलेट ने फ्रेंकेल और लेवी द्वारा दिए गए तर्कों का विश्लेषण किया है। उनके कुछ तर्क कार्डिनल आकार के अलावा अन्य मानदंडों के आधार पर आकार को मापते हैं - उदाहरण के लिए, फ्रेंकेल व्यापकता और विस्तारशीलता का परिचय देता है। हैलेट बताते हैं कि वह उनके तर्कों में क्या खामियां मानते हैं।<ref>{{harvnb|Hallett|1984|pp=200&ndash;207}}.</ref>
इसके बाद हैलेट का तर्क है कि समुच्चय सिद्धांत के परिणामों से यह प्रतीत होता है कि अनंत समुच्चय के आकार और उसके पावर समुच्चय के आकार के बीच कोई संबंध नहीं है। इसका मतलब यह होगा कि आकार सिद्धांत की सीमा पावर समुच्चय सिद्धांत को उचित ठहराने में असमर्थ है क्योंकि इसके लिए आवश्यक है कि x का पावर समुच्चय x से बहुत बड़ा न हो। उस मामले के लिए जहां आकार को कार्डिनल आकार द्वारा मापा जाता है, हैलेट ने [[पॉल कोहेन]] के काम का उल्लेख किया है। <संदर्भ नाम = हैलेट 1984 206-207 >{{harvnb|Hallett|1984|pp=206&ndash;207}}.</ref> ZFC और के एक मॉडल से शुरुआत <math>\aleph_\alpha</math>, कोहेन ने एक मॉडल बनाया जिसमें ω के पावर समुच्चय की कार्डिनैलिटी है <math>\aleph_\alpha</math> यदि की [[सह-अंतिमता]] <math>\aleph_\alpha</math> ω नहीं है; अन्यथा, इसकी प्रमुखता है <math>\aleph_{\alpha+1}</math>.<ref>{{harvnb|Cohen|1966|p=134}}.</ref> चूँकि ω के पावर समुच्चय की कार्डिनैलिटी की कोई सीमा नहीं है, इसलिए ω के कार्डिनल आकार और P(ω) के कार्डिनल आकार के बीच कोई संबंध नहीं है।<ref>{{harvnb|Hallett|1984|p=207}}.</ref>
हैलेट उस मामले पर भी चर्चा करता है जहां आकार को व्यापकता द्वारा मापा जाता है, जो एक संग्रह को बहुत बड़ा मानता है यदि वह असीमित समझ या असीमित सीमा का है।<ref>{{harvnb|Hallett|1984|p=200}}.</ref> वह बताते हैं कि एक अनंत समुच्चय के लिए, हम यह सुनिश्चित नहीं कर सकते हैं कि ब्रह्मांड की असीमित सीमा से गुज़रे बिना हमारे पास इसके सभी उपसमुच्चय हैं। उन्होंने जॉन लेन बेल|जॉन एल. बेल और मोशे मैकओवर को भी उद्धृत किया: ... किसी दिए गए [अनंत] समुच्चय यू का पावर समुच्चय पी (यू) न केवल यू के आकार के लिए आनुपातिक है, बल्कि 'समृद्धि' के लिए भी आनुपातिक है। सम्पूर्ण ब्रह्माण्ड...<ref>{{harvnb|Bell|Machover|2007|p=509}}.</ref> इन टिप्पणियों को करने के बाद, हैलेट कहते हैं: किसी को यह संदेह हो जाता है कि अनंत ए के आकार (व्यापकता) और पी (ए) के आकार के बीच कोई संबंध नहीं है। <संदर्भ नाम = हैलेट 1984 206-207 />

हैलेट समुच्चय सिद्धांत के अधिकांश सिद्धांतों को उचित ठहराने के लिए आकार सिद्धांत की सीमा को मूल्यवान मानते हैं। उनके तर्क केवल यह संकेत देते हैं कि यह अनन्तता और शक्ति समुच्चय के सिद्धांतों को उचित नहीं ठहरा सकता।<ref>{{harvnb|Hallett|1984|pp=209&ndash;210}}.</ref> उन्होंने निष्कर्ष निकाला कि वॉन न्यूमैन की स्पष्ट धारणा [पावर-समुच्चय की छोटीता की] ज़र्मेलो, फ्रेंकेल और लेवी की पावर-समुच्चय की छोटीता की अस्पष्ट रूप से छिपी हुई अंतर्निहित धारणा के लिए बेहतर लगती है।<ref name=Hallettpowersets />


==इतिहास==
वॉन न्यूमैन ने समुच्चयों की पहचान करने की एक नई विधि के रूप में आकार की सीमा के सिद्धांत को विकसित किया। ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत अपने समुच्चय बिल्डिंग सिद्धांतों के माध्यम से समुच्चय की पहचान करता है। हालाँकि, जैसा कि अब्राहम फ्रेंकेल ने बताया: प्रक्रियाओं का मनमाना चरित्र, जो सिद्धांत के आधार के रूप में Z [ZFC] के सिद्धांतों में चुना गया है, तार्किक तर्कों के बजाय समुच्चय-सिद्धांत के ऐतिहासिक विकास द्वारा उचित है।<ref>''Historical Introduction'' in {{harvnb|Bernays|1991|p=31}}.</ref>
ZFC स्वयंसिद्धों का ऐतिहासिक विकास 1908 में शुरू हुआ जब ज़र्मेलो ने विरोधाभासों को खत्म करने और [[सुव्यवस्थित प्रमेय]] के अपने प्रमाण का समर्थन करने के लिए स्वयंसिद्धों को चुना।{{efn|"... we must, on the one hand, restrict these principles [axioms] sufficiently to exclude all contradictions and, on the other hand, take them sufficiently wide to retain all that is valuable in this theory." ({{harvnb|Zermelo|1908|p=261}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967a|p=200}}). Gregory Moore argues that Zermelo's "axiomatization was primarily motivated by a desire to secure his demonstration of the Well-Ordering Theorem ..." (Moore 1982, pp. 158&ndash;160).}} 1922 में, अब्राहम फ्रेंकेल और [[ थोरल्फ़ स्कोलेम ]] ने बताया कि ज़र्मेलो समुच्चय सिद्धांत | ज़र्मेलो के स्वयंसिद्ध समुच्चय के अस्तित्व को साबित नहीं कर सकते हैं {Z<sub>0</sub>, साथ<sub>1</sub>, साथ<sub>2</sub>,...} जहां Z<sub>0</sub> [[प्राकृतिक संख्या]]ओं का समुच्चय है, और Z<sub>''n''+1</sub> Z का पावर समुच्चय है<sub>''n''</sub>.<ref>{{harvnb|Fraenkel|1922|pp=230&ndash;231}}. {{harvnb|Skolem|1922}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967b|pp=296&ndash;297}}).</ref> उन्होंने प्रतिस्थापन का सिद्धांत भी पेश किया, जो इस समुच्चय के अस्तित्व की गारंटी देता है।<ref>{{harvnb|Ferreirós|2007|p=369}}. In 1917, [[Dmitry Mirimanoff]] published a form of replacement based on cardinal equivalence ({{harvnb|Mirimanoff|1917|p=49}}).</ref> हालाँकि, आवश्यक होने पर स्वयंसिद्ध कथनों को जोड़ने से न तो सभी उचित समुच्चयों के अस्तित्व की गारंटी मिलती है और न ही उन समुच्चयों के बीच अंतर स्पष्ट होता है जो उपयोग के लिए सुरक्षित हैं और ऐसे संग्रह जो विरोधाभासों को जन्म देते हैं।

1923 में ज़र्मेलो को लिखे एक पत्र में, वॉन न्यूमैन ने समुच्चय सिद्धांत के लिए एक दृष्टिकोण की रूपरेखा तैयार की जो उन समुच्चयों की पहचान करता है जो बहुत बड़े हैं और विरोधाभास पैदा कर सकते हैं।{{efn|Von Neumann published an introductory article on his axiom system in 1925 ({{harvnb|von Neumann|1925}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967c}}). In 1928, he provided a detailed treatment of his system ({{harvnb|von Neumann|1928}}).}} वॉन न्यूमैन ने मानदंड का उपयोग करके इन समुच्चयों की पहचान की: एक समुच्चय 'बहुत बड़ा' है यदि और केवल तभी जब यह सभी चीजों के समुच्चय के बराबर हो। फिर उन्होंने प्रतिबंधित किया कि इन समुच्चयों का उपयोग कैसे किया जा सकता है: ... विरोधाभासों से बचने के लिए जो [समुच्चय] 'बहुत बड़े' हैं उन्हें तत्वों के रूप में अस्वीकार्य घोषित किया गया है।<ref>{{harvnb|Hallett|1984|pp=288,&nbsp;290}}.</ref> इस प्रतिबंध को अपने मानदंड के साथ जोड़कर, वॉन न्यूमैन ने आकार की सीमा के सिद्धांत का पहला संस्करण प्राप्त किया, जो वर्गों की भाषा में कहता है: एक वर्ग एक उचित वर्ग है यदि और केवल अगर यह वी के साथ समतुल्य है।<ref name=HallettNeumann />1925 तक, वॉन न्यूमैन ने अपने स्वयंसिद्ध को संशोधित करके इसे V के साथ समतुल्य कर दिया।{{space|hair}} इसे V पर मैप किया जा सकता है{{space|hair}} , जो आकार की सीमा का सिद्धांत उत्पन्न करता है। इस संशोधन ने वॉन न्यूमैन को प्रतिस्थापन के सिद्धांत का एक सरल प्रमाण देने की अनुमति दी।<ref name=Neumann1925 />वॉन न्यूमैन का स्वयंसिद्ध समुच्चय समुच्चय को उन वर्गों के रूप में पहचानता है जिन्हें वी पर मैप नहीं किया जा सकता है। वॉन न्यूमैन ने अनुभव किया कि, इस सिद्धांत के साथ भी, उनका समुच्चय सिद्धांत समुच्चय को पूरी तरह से चित्रित नहीं करता है।{{efn|Von Neumann investigated whether his set theory is [[categorical (model theory)|categorical]]; that is, whether it uniquely determines sets in the sense that any two of its models are [[isomorphic]]. He showed that it is not categorical because of a weakness in the [[axiom of regularity]]: this axiom only excludes descending ∈-sequences from existing in the model; descending sequences may still exist outside the model. A model having "external" descending sequences is not isomorphic to a model having no such sequences since this latter model lacks isomorphic images for the sets belonging to external descending sequences. This led von Neumann to conclude "that no categorical axiomatization of set theory seems to exist at all" ({{harvnb|von Neumann|1925|p=239}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967c|p=412}}).}}

गोडेल ने वॉन न्यूमैन के स्वयंसिद्ध को बहुत रुचिकर पाया:

: विशेष रूप से मेरा मानना है कि उनकी [वॉन न्यूमैन की] आवश्यक और पर्याप्त शर्त, जिसे एक संपत्ति को पूरा करना चाहिए, एक समुच्चय को परिभाषित करने के लिए, बहुत रुचि है, क्योंकि यह स्वयंसिद्ध समुच्चय सिद्धांत के विरोधाभासों के संबंध को स्पष्ट करता है। यह स्थिति वास्तव में चीजों के सार को समझती है, यह इस तथ्य से देखा जाता है कि यह पसंद के सिद्धांत को दर्शाता है, जो पहले अन्य अस्तित्व संबंधी सिद्धांतों से काफी अलग था। चीजों को देखने के इस तरीके से संभव होने वाले विरोधाभासों की सीमा वाले निष्कर्ष, मुझे न केवल बहुत सुंदर लगते हैं, बल्कि तार्किक दृष्टिकोण से भी बहुत दिलचस्प लगते हैं।{{efn|For example, von Neumann's proof that his axiom implies the well-ordering theorem uses the [[Burali-Forte paradox]] ({{harvnb|von Neumann|1925|p=223}}; English translation: {{harvnb|van&nbsp;Heijenoort|1967c|p=398}}).}} इसके अलावा मेरा मानना है कि केवल इस दिशा में आगे बढ़ने से, यानी [[रचनावाद (गणित)]] के विपरीत दिशा में, अमूर्त समुच्चय सिद्धांत की बुनियादी समस्याएं हल हो जाएंगी।<ref>From a Nov. 8, 1957 letter Gödel wrote to [[Stanislaw Ulam]] ({{harvnb|Kanamori|2003| p=295}}).</ref>


== टिप्पणियाँ ==
{{notelist|1}}


== संदर्भ ==
{{reflist|2}}


== ग्रन्थसूची ==
* {{Citation | last1 = Bell | first1 = John L. | last2 = Machover | first2 = Moshé | title = A Course in Mathematical Logic | date = 2007 | publisher = Elsevier Science Ltd | isbn = 978-0-7204-2844-5 | url-access = registration | url = https://archive.org/details/courseinmathemat0000bell }}.
* {{Citation | last = Bernays | first = Paul | title = A System of Axiomatic Set Theory—Part I | jstor = 2268862 | journal = The Journal of Symbolic Logic | volume = 2 | issue = 1 | pages = 65&ndash;77 | year = 1937 | doi=10.2307/2268862}}.
* {{Citation | last = Bernays | first = Paul | title = A System of Axiomatic Set Theory—Part II | jstor = 2267281 | journal = The Journal of Symbolic Logic | volume = 6 | issue = 1 | pages = 1&ndash;17 | year = 1941 | doi=10.2307/2267281| s2cid = 250344277 }}.
* {{Citation | last = Bernays | first = Paul | title = Axiomatic Set Theory | publisher=Dover Publications | year=1991 | isbn=0-486-66637-9}}.
* {{Citation | last = Cohen | first = Paul | title = Set Theory and the Continuum Hypothesis | publisher = W. A. Benjamin | year=1966 | isbn=978-0-486-46921-8}}.
* {{Citation | last = Easton | first = William B. | year = 1964 | title = Powers of Regular Cardinals  | type = Ph.D. thesis | publisher = Princeton University}}.
* {{Citation | last = Ferreirós | first = José | title = Labyrinth of Thought: A History of Set Theory and Its Role in Mathematical Thought |
publisher = Birkhäuser | year = 2007 | edition = 2nd revised | isbn = 978-3-7643-8349-7}}.
* {{Citation | last = Fraenkel | first = Abraham | title = Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre | url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0086&DMDID=DMDLOG_0019 | journal = [[Mathematische Annalen]] | volume = 86 | issue = 3–4 | pages = 230&ndash;237 | year = 1922 | doi=10.1007/bf01457986| s2cid = 122212740 }}.
* {{Citation | last1 = Fraenkel | first1 = Abraham | last2 = Bar-Hillel | first2 = Yehoshua | last3 = Levy | first3 = Azriel | title = Foundations of Set Theory | place = Basel, Switzerland | publisher = Elsevier | year = 1973 | edition = 2nd revised | isbn = 0-7204-2270-1 | url-access = registration | url = https://archive.org/details/foundationsofset0000frae }}.
* {{Citation | last = Gödel | first = Kurt | year = 1939 | title = Consistency Proof for the Generalized Continuum Hypothesis | url = http://www.pnas.org/content/25/4/220.full.pdf | journal = [[Proceedings of the National Academy of Sciences of the United States of America]] | volume = 25 | issue = 4 | pages = 220–224 | doi = 10.1073/pnas.25.4.220 | pmc = 1077751 | pmid=16588293| doi-access = free }}.
* {{Citation | last = Gödel | first = Kurt | title = The Consistency of the Continuum Hypothesis | publisher = Princeton University Press | year = 1940}}.
* {{Citation | last = Hallett | first = Michael | title = Cantorian Set Theory and Limitation of Size | place = Oxford | publisher = Clarendon Press | year = 1984 | isbn = 0-19-853179-6}}.
* {{Citation | last = Kanamori | first = Akihiro | authorlink = Akihiro Kanamori | contribution = Stanislaw Ulam  | contribution-url = http://math.bu.edu/people/aki/9.pdf | editor = Solomon Feferman and John W. Dawson, Jr. | title = Kurt Gödel Collected Works, Volume V: Correspondence H-Z | publisher = Clarendon Press | date = 2003 | pages = 280&ndash;300 | isbn = 0-19-850075-0}}.
* {{Citation | last = Kelley | first = John L. | title = General Topology | url = https://archive.org/details/GeneralTopology | publisher = Van Nostrand | year = 1955 | isbn = 978-0-387-90125-1}}.
* {{Citation | last = Kunen | first = Kenneth | title = Set Theory: An Introduction to Independence Proofs | publisher = North-Holland | year = 1980 | isbn = 0-444-86839-9| title-link = Set Theory: An Introduction to Independence Proofs }}.
* {{Citation | last = Levy | first = Azriel | title = On Von Neumann's Axiom System for Set Theory | volume = 75 | pages = 762&ndash;763 | journal = [[American Mathematical Monthly]] | issue = 7 | year = 1968 | doi=10.2307/2315201| jstor = 2315201 }}.
* {{Citation | last1=Mirimanoff | first1=Dmitry | title=Les antinomies de Russell et de Burali-Forti et le probleme fondamental de la theorie des ensembles | year = 1917 | journal=L'Enseignement Mathématique | volume=19 | pages=37&ndash;52}}.
* {{Citation | last = Moore| first = Gregory H. | title = Zermelo's Axiom of Choice: Its Origins, Development, and Influence | publisher = Springer | year = 1982 | isbn = 0-387-90670-3}}.
*{{Citation | last1=Sierpiński | first1=Wacław | last2=Tarski | first2=Alfred | title=Sur une propriété caractéristique des nombres inaccessibles | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm15/fm15129.pdf | year=1930 | journal=[[Fundamenta Mathematicae]] | issn=0016-2736 | volume=15 | pages=292&ndash;300 | doi=10.4064/fm-15-1-292-300| doi-access=free }}.
* {{Citation | last = Skolem | first = Thoralf | chapter = Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre | title = Matematikerkongressen i Helsingfors den 4-7 Juli, 1922 | pages = 217&ndash;232 | year = 1922}}. 
** English translation: {{Citation | last=van&nbsp;Heijenoort | first =Jean | authorlink = Jean van Heijenoort | year =1967b | publisher = Harvard University Press | title = From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 | chapter = Some remarks on axiomatized set theory | pages = 290&ndash;301 | isbn = 978-0-674-32449-7}}.
* {{Citation | last = von Neumann | first = John  | title = Eine Axiomatisierung der Mengenlehre | url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0154&DMDID=DMDLOG_0025 | journal = [[Journal für die Reine und Angewandte Mathematik]] | volume = 154 | pages = 219&ndash;240 | year = 1925}}. 
** English translation: {{citation|last=van&nbsp;Heijenoort | first =Jean | year =1967c | publisher = Harvard University Press | title = From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 | chapter = An axiomatization of set theory | pages = 393&ndash;413 | isbn = 978-0-674-32449-7}}.
* {{Citation | last = von Neumann | first = John | title = Die Axiomatisierung der Mengenlehre | url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN266833020_0027&DMDID=DMDLOG_0042 | journal = [[Mathematische Zeitschrift]] | volume = 27 | pages = 669&ndash;752 | year = 1928 | doi=10.1007/bf01171122| s2cid = 123492324 }}.
* {{Citation|first=Ernst|last= Zermelo|year=1908|title=Untersuchungen über die Grundlagen der Mengenlehre |journal=Mathematische Annalen |volume=65|issue=2|pages= 261&ndash;281|url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0065&DMDID=DMDLOG_0018|doi=10.1007/bf01449999|s2cid= 120085563}}. 
** English translation: {{citation|last=van&nbsp;Heijenoort | first =Jean | year =1967a | publisher = Harvard University Press | title = From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 | chapter = Investigations in the foundations of set theory | pages = 199&ndash;215| isbn = 978-0-674-32449-7}}.
* {{Citation | last = Zermelo | first = Ernst | title = Über Grenzzahlen und Mengenbereiche: neue Untersuchungen über die Grundlagen der Mengenlehre | url = http://matwbn.icm.edu.pl/ksiazki/fm/fm16/fm1615.pdf | journal = [[Fundamenta Mathematicae]] | volume = 16 | pages = 29&ndash;47| year = 1930| doi = 10.4064/fm-16-1-29-47 | doi-access = free }}. 
** English translation: {{Citation | last = Ewald | first = William B. | title = From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics | chapter = On boundary numbers and domains of sets: new investigations in the foundations of set theory | pages = 1208&ndash;1233 | publisher = Oxford University Press | year = 1996 | isbn = 978-0-19-853271-2}}.

{{Set theory}}
[[Category: समुच्चय सिद्धांत के अभिगृहीत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 20/07/2023]]