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

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

वॉन न्यूमैन का अभिगृहीत प्रतिस्थापन के अभिगृहीत, पृथक्करण के अभिगृहीत, मिलन के अभिगृहीत और वैश्विक चयन के अभिगृहीत के सिद्धांतों को दर्शाता है। यह वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत (एनबीजी) और मोर्स-केली सेट सिद्धांत में प्रतिस्थापन, संघ और वैश्विक पसंद के संयोजन के बराबर है। वर्ग सिद्धांतों की बाद की व्याख्याएँ - जैसे कि पॉल बर्नेज़, कर्ट गोडेल और जॉन एल. केली - वॉन न्यूमैन के स्वयंसिद्ध के बजाय प्रतिस्थापन, संघ और वैश्विक पसंद के समकक्ष एक विकल्प स्वयंसिद्ध का उपयोग करते हैं। 1930 में, अर्नेस्ट ज़र्मेलो ने आकार की सीमा के सिद्धांत को संतुष्ट करते हुए सेट सिद्धांत के मॉडल को परिभाषित किया। अब्राहम फ्रेंकेल और एज़्रिएल लेवी ने कहा है कि आकार की सीमा का सिद्धांत आकार सिद्धांत की सभी सीमाओं पर कब्जा नहीं करता है क्योंकि यह शक्ति सेट के सिद्धांत को नहीं दर्शाता है। माइकल हैलेट ने तर्क दिया है कि आकार सिद्धांत की सीमा पावर सेट स्वयंसिद्ध को उचित नहीं ठहराती है और वॉन न्यूमैन की स्पष्ट धारणा [पावर-सेट की छोटीता की] ज़र्मेलो, फ्रेंकेल और लेवी की पावर-सेट की छोटीता की अस्पष्ट रूप से छिपी अंतर्निहित धारणा के लिए बेहतर लगती है।

औपचारिक कथन
आकार की सीमा के सिद्धांत का सामान्य संस्करण - एक वर्ग एक उचित वर्ग है यदि और केवल तभी जब कोई फ़ंक्शन होता है जो इसे वी पर मैप करता है—सेट सिद्धांत की औपचारिक भाषा में इस प्रकार व्यक्त किया गया है:
 * $$\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}$$ गोडेल ने यह परिपाटी प्रस्तुत की कि अपरकेस वेरिएबल्स सभी वर्गों में होते हैं, जबकि लोअरकेस वेरिएबल्स सभी सेटों में होते हैं। यह सम्मेलन हमें लिखने की अनुमति देता है: indent=1
 * $$\exist y\, \varphi(y)$$ के बजाय $$\exist y \bigl(\exist D (y \in D) \land \varphi(y)\bigr)$$
 * $$\forall y\, \varphi(y)$$ के बजाय $$\forall y \bigl(\exist D (y \in D) \implies \varphi(y)\bigr)$$

गोडेल के सम्मेलन के साथ, आकार की सीमा का सिद्धांत लिखा जा सकता है:
 * $$\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}$$

स्वयंसिद्ध के निहितार्थ
वॉन न्यूमैन ने साबित किया कि आकार की सीमा का सिद्धांत प्रतिस्थापन के सिद्धांत का तात्पर्य है, जिसे इस प्रकार व्यक्त किया जा सकता है: यदि एफ एक फ़ंक्शन है और ए एक सेट है, तो एफ (ए) एक सेट है। यह विरोधाभास द्वारा प्रमाण है. मान लीजिए F एक फलन है और A एक समुच्चय है। मान लें कि F(A) एक उचित वर्ग है। फिर एक फ़ंक्शन G है जो F(A) को V पर मैप करता है। चूंकि समग्र फ़ंक्शन G∘FF, A को V पर मैप करता है, आकार की सीमा के सिद्धांत का तात्पर्य है कि A एक उचित वर्ग है, जो A के एक सेट होने का खंडन करता है। इसलिए, F(A) एक समुच्चय है। चूंकि प्रतिस्थापन का सिद्धांत#पृथक्करण के स्वयंसिद्ध स्कीमा से संबंध रखता है, आकार की सीमा का सिद्धांत पृथक्करण के सिद्धांत का तात्पर्य करता है।

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

1968 में, एज़्रिएल लेवी ने साबित किया कि वॉन न्यूमैन का सिद्धांत संघ के सिद्धांत को दर्शाता है। सबसे पहले, उन्होंने संघ के स्वयंसिद्ध का उपयोग किए बिना साबित किया कि अध्यादेशों के प्रत्येक सेट की एक ऊपरी सीमा होती है। फिर उन्होंने एक फ़ंक्शन का उपयोग किया जो यह साबित करने के लिए ऑर्ड को वी पर मैप करता है कि यदि ए एक सेट है, तो ∪ए एक समुच्चय है. प्रतिस्थापन, वैश्विक पसंद और संघ के सिद्धांत (वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत के अन्य सिद्धांतों के साथ) आकार की सीमा के सिद्धांत को दर्शाते हैं। इसलिए, यह स्वयंसिद्ध एनबीजी या मोर्स-केली सेट सिद्धांत में प्रतिस्थापन, वैश्विक विकल्प और संघ के संयोजन के बराबर है। इन सेट सिद्धांतों ने केवल प्रतिस्थापन के स्वयंसिद्ध और आकार की सीमा के स्वयंसिद्ध के लिए पसंद के स्वयंसिद्ध के एक रूप को प्रतिस्थापित किया क्योंकि वॉन न्यूमैन की स्वयंसिद्ध प्रणाली में संघ का स्वयंसिद्ध शामिल है। लेवी का यह प्रमाण कि यह सिद्धांत निरर्थक है, कई वर्षों बाद आया।

वैश्विक पसंद के सिद्धांत के साथ एनबीजी के सिद्धांतों को पसंद के सामान्य सिद्धांत द्वारा प्रतिस्थापित करने से आकार की सीमा का सिद्धांत नहीं लगता है। 1964 में, विलियम बिगेलो ईस्टन|विलियम बी. ईस्टन ने एनबीजी का एक मॉडल सिद्धांत बनाने के लिए फोर्सिंग (सेट सिद्धांत) का उपयोग किया, जिसमें वैश्विक विकल्प को पसंद के सिद्धांत द्वारा प्रतिस्थापित किया गया। ईस्टन के मॉडल में, V को रैखिक रूप से क्रमित नहीं किया जा सकता है, इसलिए इसे सुव्यवस्थित नहीं किया जा सकता है। इसलिए, आकार की सीमा का सिद्धांत इस मॉडल में विफल रहता है। Ord एक उचित वर्ग का उदाहरण है जिसे V पर मैप नहीं किया जा सकता क्योंकि (जैसा कि ऊपर साबित हुआ है) यदि Ord को V पर मैप करने वाला कोई फ़ंक्शन है, तो V को अच्छी तरह से ऑर्डर किया जा सकता है।

प्रतिस्थापन के सिद्धांत के साथ एनबीजी के सिद्धांतों को पृथक्करण के कमजोर सिद्धांत द्वारा प्रतिस्थापित करने से आकार की सीमा का सिद्धांत नहीं लगता है। परिभाषित करना $$\omega_\alpha$$ के रूप में $$\alpha$$-वां अनंत प्रारंभिक क्रमसूचक, जो कार्डिनल संख्या भी है $$\aleph_\alpha$$; नंबरिंग शुरू होती है $$0$$, इसलिए $$\omega_0 = \omega.$$ 1939 में, गोडेल ने बताया कि एलω ω, रचनात्मक ब्रह्मांड का एक उपसमुच्चय, ZFC का एक मॉडल है जिसमें प्रतिस्थापन के स्थान पर पृथक्करण होता है। इसे पृथक्करण द्वारा प्रतिस्थापन के साथ एनबीजी के एक मॉडल में विस्तारित करने के लिए, इसकी कक्षाएं एल के सेट होने देंω ω+1 , जो L के रचनात्मक उपसमुच्चय हैंω ω. यह मॉडल एनबीजी के वर्ग अस्तित्व सिद्धांतों को संतुष्ट करता है क्योंकि इन सिद्धांतों के सेट चर को एल तक सीमित कर दिया गया हैω ω पृथक्करण के सिद्धांत का उदाहरण (विधेय तर्क) उत्पन्न करता है, जो एल में होता है। यह वैश्विक पसंद के सिद्धांत को संतुष्ट करता है क्योंकि इसमें एल से संबंधित एक फ़ंक्शन हैω ω+1 जो ω को मैप करता है उप>ω एल पर उप>ओहω, जिसका अर्थ है कि एलω ω सुव्यवस्थित है. आकार की सीमा का सिद्धांत विफल हो जाता है क्योंकि उचित वर्ग {ωn: n ∈ ω} में कार्डिनैलिटी एलेफ़ संख्या है|$$\aleph_0$$, इसलिए इसे L पर मैप नहीं किया जा सकताω ω, जिसमें प्रमुखता है $$\aleph_\omega$$.

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

$$

जर्मेलो के मॉडल और आकार की सीमा का सिद्धांत
1930 में, ज़र्मेलो ने सेट सिद्धांत के मॉडल पर एक लेख प्रकाशित किया, जिसमें उन्होंने साबित किया कि उनके कुछ मॉडल आकार की सीमा के सिद्धांत को संतुष्ट करते हैं। ये मॉडल संचयी पदानुक्रम V का उपयोग करके ZFC में बनाए गए हैंα, जिसे ट्रांसफ़िनिट रिकर्सन द्वारा परिभाषित किया गया है:
 * 1) वी0= खाली सेट|∅.
 * 2) मेंα+1= वीα∪पी(वीα). अर्थात वी का संघ (सेट सिद्धांत)α और इसका  सत्ता स्थापित ।
 * 3) सीमा β के लिए: वीβ = ∪α < βमेंα. अर्थात वीβ पूर्ववर्ती V का मिलन हैα.

ज़र्मेलो ने वी फॉर्म के मॉडल के साथ काम कियाκ जहां κ वॉन न्यूमैन कार्डिनल है। मॉडल की कक्षाएं V के उपसमुच्चय हैंκ, और मॉडल का ∈-संबंध मानक ∈-संबंध है। मॉडल के सेट वर्ग X इस प्रकार हैं कि X ∈ Vκ. ज़र्मेलो ने कार्डिनल्स की पहचान की κ जैसे कि वीκ संतुष्ट करता है:
 * प्रमेय 1. एक वर्ग X एक समुच्चय है यदि और केवल यदि |X| < κ.
 * प्रमेय 2. |वीκ| = κ.

चूँकि प्रत्येक वर्ग V का उपसमुच्चय हैκ, प्रमेय 2 का तात्पर्य है कि प्रत्येक कक्षा X में प्रमुखता ≤ κ है। इसे प्रमेय 1 के साथ संयोजित करने से सिद्ध होता है: प्रत्येक उचित वर्ग में कार्डिनैलिटी κ होती है। इसलिए, प्रत्येक उचित कक्षा को वी के साथ एक-से-एक पत्राचार में रखा जा सकता हैκ. यह पत्राचार वी का एक उपसमुच्चय हैκ, तो यह मॉडल का एक वर्ग है। इसलिए, आकार की सीमा का सिद्धांत मॉडल V के लिए लागू होता हैκ.

प्रमेय बताता है कि वीκ एक सुव्यवस्थित होना प्रत्यक्ष प्रमाण हो सकता है। चूँकि κ कार्डिनैलिटी κ और |V का एक क्रमसूचक हैκ| = κ, κ और V के बीच एक-से-एक पत्राचार हैκ. यह पत्राचार वी का सुव्यवस्थित क्रम उत्पन्न करता हैκ. वॉन न्यूमैन का प्रमाण अप्रत्यक्ष प्रमाण है। यह विरोधाभास द्वारा यह साबित करने के लिए बुराली-फोर्टी विरोधाभास का उपयोग करता है कि सभी अध्यादेशों का वर्ग एक उचित वर्ग है। इसलिए, आकार की सीमा के सिद्धांत का तात्पर्य है कि एक फ़ंक्शन है जो सभी सेटों के वर्ग पर सभी ऑर्डिनल्स के वर्ग को मैप करता है। यह फ़ंक्शन V का सुव्यवस्थित क्रम उत्पन्न करता हैκ.

मॉडल वीω
यह प्रदर्शित करने के लिए कि प्रमेय 1 और 2 कुछ V के लिए मान्य हैंκ, हम पहले यह सिद्ध करते हैं कि यदि कोई समुच्चय V का हैα तो यह बाद के सभी V से संबंधित हैβ, या समकक्ष: वीα⊆ वीβ α ≤ β के लिए. यह β पर अनंत प्रेरण द्वारा सिद्ध होता है: सेट पावर सेट पी(वी) के माध्यम से संचयी पदानुक्रम में प्रवेश करते हैंβ) चरण β+1 पर। निम्नलिखित परिभाषाओं की आवश्यकता होगी:
 * 1) β=0: वी0⊆ वी0.
 * 2) β+1 के लिए: आगमनात्मक परिकल्पना द्वारा, वीα⊆ वीβ. इसलिए, वीα⊆ वीβ⊆ वीβ∪पी(वीβ) = वीβ+1.
 * 3) सीमा β के लिए: यदि α < β, तो Vα ⊆ ∪ξ < βमेंξ= वीβ. यदि α=β, तो Vα⊆ वीβ.
 * यदि x एक समुच्चय है, तो रैंक (सेट सिद्धांत)(x) न्यूनतम क्रमसूचक β है जैसे कि x∈Vβ+1.
 * ऑर्डिनल्स ए के एक सेट का सर्वोच्च, सुपर ए द्वारा दर्शाया गया, सबसे कम ऑर्डिनल β है जैसे कि सभी α ∈ ए के लिए α ≤ β।

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

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

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

वी के सेट और वर्गω अनंत के सिद्धांत को छोड़कर एनबीजी के सभी सिद्धांतों को संतुष्ट करें।

मॉडल वीκ जहां κ एक अत्यंत दुर्गम कार्डिनल
है V के लिए प्रमेय 1 और 2 को सिद्ध करने के लिए परिमितता के दो गुणों का उपयोग किया गया थाω: अनंत के सिद्धांत को संतुष्ट करने वाले मॉडल खोजने के लिए, दृढ़ता से दुर्गम कार्डिनल्स को परिभाषित करने वाले गुणों का उत्पादन करने के लिए परिमित को < κ से बदलें। एक कार्डिनल κ अत्यधिक पहुंच योग्य नहीं है यदि κ >  ω और: ये गुण दावा करते हैं कि κ तक नीचे से नहीं पहुंचा जा सकता है। पहली संपत्ति कहती है कि κ तक पावर सेट द्वारा नहीं पहुंचा जा सकता; दूसरा कहता है कि प्रतिस्थापन के सिद्धांत द्वारा κ तक नहीं पहुंचा जा सकता। जिस तरह ω प्राप्त करने के लिए अनंत के स्वयंसिद्ध की आवश्यकता होती है, उसी प्रकार दृढ़ता से दुर्गम कार्डिनल्स को प्राप्त करने के लिए एक स्वयंसिद्ध की आवश्यकता होती है। ज़र्मेलो ने अत्यधिक दुर्गम कार्डिनल्स के एक असीमित अनुक्रम के अस्तित्व की परिकल्पना की।
 * 1) यदि λ एक परिमित कार्डिनल है, तो 2λपरिमित है।
 * 2) यदि A इस प्रकार के अध्यादेशों का एक सेट है कि |A| परिमित है, और α सभी α∈A के लिए परिमित है, तो सुप A परिमित है।
 * 1) यदि λ एक कार्डिनल है जैसे कि λ < κ, तो 2λ < κ.
 * 2) यदि A इस प्रकार के अध्यादेशों का एक सेट है कि |A| < κ, और α < κ सभी α ∈ A के लिए, फिर समर्थन A < κ।

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

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

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

वी के सेट और वर्गκ एनबीजी के सभी सिद्धांतों को संतुष्ट करें।

आकार सिद्धांत की सीमा
आकार सिद्धांत की सीमा एक अनुमानी सिद्धांत है जिसका उपयोग सेट सिद्धांत के सिद्धांतों को उचित ठहराने के लिए किया जाता है। यह पूर्ण (विरोधाभासी) समझ स्वयंसिद्ध स्कीमा को प्रतिबंधित करके सेट सैद्धांतिक विरोधाभासों से बचाता है:
 * $$\forall w_1,\ldots,w_n \, \exists x \, \forall u \, ( u \in x \iff \varphi(u, w_1, \ldots, w_n) )$$

ऐसे उदाहरणों के लिए जो सेट को उनके द्वारा उपयोग किए जाने वाले सेट से 'बहुत अधिक बड़ा' नहीं देते हैं। यदि बड़े का अर्थ कार्डिनल आकार में बड़ा है, तो अधिकांश सिद्धांतों को उचित ठहराया जा सकता है: पृथक्करण का सिद्धांत x का एक उपसमुच्चय उत्पन्न करता है जो x से बड़ा नहीं है। प्रतिस्थापन का सिद्धांत एक छवि सेट f(x) उत्पन्न करता है जो x से बड़ा नहीं है। संघ का सिद्धांत एक ऐसे संघ का निर्माण करता है जिसका आकार संघ में सबसे बड़े सेट के आकार से बड़ा नहीं होता है, जो कि संघ में सेटों की संख्या से बड़ा होता है। पसंद का सिद्धांत एक विकल्प सेट का निर्माण करता है जिसका आकार गैर-रिक्त सेट के दिए गए सेट के आकार से बड़ा नहीं है।

आकार सिद्धांत की सीमा अनंत के सिद्धांत को उचित नहीं ठहराती:
 * $$\exists y \, [\empty \in y \, \land \, \forall x (x \in y \implies x \cup \{x\} \in y)],$$

जो उत्तराधिकारी क्रमसूचक को पुनरावृत्त करके खाली सेट और खाली सेट से प्राप्त सेट का उपयोग करता है। चूँकि ये समुच्चय परिमित हैं, इस स्वयंसिद्ध को संतुष्ट करने वाला कोई भी समुच्चय, जैसे ω, इन समुच्चयों से बहुत बड़ा है। फ्रेंकेल और लेवी खाली सेट और प्राकृतिक संख्याओं के अनंत सेट को मानते हैं, जिसका अस्तित्व अनंत और पृथक्करण के सिद्धांतों द्वारा निहित है, सेट उत्पन्न करने के लिए शुरुआती बिंदु के रूप में। आकार की सीमा के बारे में वॉन न्यूमैन का दृष्टिकोण आकार की सीमा के सिद्धांत का उपयोग करता है। जैसा कि उल्लेख किया गया है, वॉन न्यूमैन का स्वयंसिद्ध पृथक्करण, प्रतिस्थापन, मिलन और चयन के सिद्धांतों को दर्शाता है। फ्रेंकेल और लेवी की तरह, वॉन न्यूमैन को अनंत के स्वयंसिद्ध को अपने सिस्टम में जोड़ना पड़ा क्योंकि इसे उनके अन्य सिद्धांतों से सिद्ध नहीं किया जा सकता है। आकार की सीमा पर वॉन न्यूमैन के दृष्टिकोण और फ्रेंकेल और लेवी के दृष्टिकोण के बीच अंतर हैं: इस बात पर असहमति है कि क्या आकार सिद्धांत की सीमा शक्ति सेट सिद्धांत को उचित ठहराती है। माइकल हैलेट ने फ्रेंकेल और लेवी द्वारा दिए गए तर्कों का विश्लेषण किया है। उनके कुछ तर्क कार्डिनल आकार के अलावा अन्य मानदंडों के आधार पर आकार को मापते हैं - उदाहरण के लिए, फ्रेंकेल व्यापकता और विस्तारशीलता का परिचय देता है। हैलेट बताते हैं कि वह उनके तर्कों में क्या खामियां मानते हैं। इसके बाद हैलेट का तर्क है कि सेट सिद्धांत के परिणामों से यह प्रतीत होता है कि अनंत सेट के आकार और उसके पावर सेट के आकार के बीच कोई संबंध नहीं है। इसका मतलब यह होगा कि आकार सिद्धांत की सीमा पावर सेट सिद्धांत को उचित ठहराने में असमर्थ है क्योंकि इसके लिए आवश्यक है कि x का पावर सेट x से बहुत बड़ा न हो। उस मामले के लिए जहां आकार को कार्डिनल आकार द्वारा मापा जाता है, हैलेट ने पॉल कोहेन के काम का उल्लेख किया है। <संदर्भ नाम = हैलेट 1984 206-207 >. ZFC और के एक मॉडल से शुरुआत $$\aleph_\alpha$$, कोहेन ने एक मॉडल बनाया जिसमें ω के पावर सेट की कार्डिनैलिटी है $$\aleph_\alpha$$ यदि की सह-अंतिमता $$\aleph_\alpha$$ ω नहीं है; अन्यथा, इसकी प्रमुखता है $$\aleph_{\alpha+1}$$. चूँकि ω के पावर सेट की कार्डिनैलिटी की कोई सीमा नहीं है, इसलिए ω के कार्डिनल आकार और P(ω) के कार्डिनल आकार के बीच कोई संबंध नहीं है। हैलेट उस मामले पर भी चर्चा करता है जहां आकार को व्यापकता द्वारा मापा जाता है, जो एक संग्रह को बहुत बड़ा मानता है यदि वह असीमित समझ या असीमित सीमा का है। वह बताते हैं कि एक अनंत सेट के लिए, हम यह सुनिश्चित नहीं कर सकते हैं कि ब्रह्मांड की असीमित सीमा से गुज़रे बिना हमारे पास इसके सभी उपसमुच्चय हैं। उन्होंने जॉन लेन बेल|जॉन एल. बेल और मोशे मैकओवर को भी उद्धृत किया: ... किसी दिए गए [अनंत] सेट यू का पावर सेट पी (यू) न केवल यू के आकार के लिए आनुपातिक है, बल्कि 'समृद्धि' के लिए भी आनुपातिक है। सम्पूर्ण ब्रह्माण्ड... इन टिप्पणियों को करने के बाद, हैलेट कहते हैं: किसी को यह संदेह हो जाता है कि अनंत ए के आकार (व्यापकता) और पी (ए) के आकार के बीच कोई संबंध नहीं है। <संदर्भ नाम = हैलेट 1984 206-207 />
 * वॉन न्यूमैन का स्वयंसिद्ध सिद्धांत एक स्वयंसिद्ध प्रणाली में आकार की सीमा डालता है, जिससे अधिकांश सेट अस्तित्व स्वयंसिद्धों को साबित करना संभव हो जाता है। आकार सिद्धांत की सीमा अनौपचारिक तर्कों का उपयोग करके स्वयंसिद्धों को उचित ठहराती है जो प्रमाण की तुलना में असहमति के लिए अधिक खुले हैं।
 * वॉन न्यूमैन ने पावर सेट स्वयंसिद्ध को मान लिया क्योंकि इसे उनके अन्य सिद्धांतों से सिद्ध नहीं किया जा सकता है। फ्रेंकेल और लेवी का कहना है कि आकार सिद्धांत की सीमा शक्ति सेट सिद्धांत को उचित ठहराती है।

हैलेट सेट सिद्धांत के अधिकांश सिद्धांतों को उचित ठहराने के लिए आकार सिद्धांत की सीमा को मूल्यवान मानते हैं। उनके तर्क केवल यह संकेत देते हैं कि यह अनन्तता और शक्ति समुच्चय के सिद्धांतों को उचित नहीं ठहरा सकता। उन्होंने निष्कर्ष निकाला कि वॉन न्यूमैन की स्पष्ट धारणा [पावर-सेट की छोटीता की] ज़र्मेलो, फ्रेंकेल और लेवी की पावर-सेट की छोटीता की अस्पष्ट रूप से छिपी हुई अंतर्निहित धारणा के लिए बेहतर लगती है।

इतिहास
वॉन न्यूमैन ने सेटों की पहचान करने की एक नई विधि के रूप में आकार की सीमा के सिद्धांत को विकसित किया। ज़र्मेलो-फ्रेंकेल सेट सिद्धांत अपने सेट बिल्डिंग सिद्धांतों के माध्यम से सेट की पहचान करता है। हालाँकि, जैसा कि अब्राहम फ्रेंकेल ने बताया: प्रक्रियाओं का मनमाना चरित्र, जो सिद्धांत के आधार के रूप में Z [ZFC] के सिद्धांतों में चुना गया है, तार्किक तर्कों के बजाय सेट-सिद्धांत के ऐतिहासिक विकास द्वारा उचित है। ZFC स्वयंसिद्धों का ऐतिहासिक विकास 1908 में शुरू हुआ जब ज़र्मेलो ने विरोधाभासों को खत्म करने और सुव्यवस्थित प्रमेय के अपने प्रमाण का समर्थन करने के लिए स्वयंसिद्धों को चुना। 1922 में, अब्राहम फ्रेंकेल और थोरल्फ़ स्कोलेम  ने बताया कि ज़र्मेलो सेट सिद्धांत | ज़र्मेलो के स्वयंसिद्ध सेट के अस्तित्व को साबित नहीं कर सकते हैं {Z0, साथ1, साथ2,...} जहां Z0 प्राकृतिक संख्याओं का समुच्चय है, और Zn+1 Z का पावर सेट हैn. उन्होंने प्रतिस्थापन का सिद्धांत भी पेश किया, जो इस सेट के अस्तित्व की गारंटी देता है। हालाँकि, आवश्यक होने पर स्वयंसिद्ध कथनों को जोड़ने से न तो सभी उचित सेटों के अस्तित्व की गारंटी मिलती है और न ही उन सेटों के बीच अंतर स्पष्ट होता है जो उपयोग के लिए सुरक्षित हैं और ऐसे संग्रह जो विरोधाभासों को जन्म देते हैं।

1923 में ज़र्मेलो को लिखे एक पत्र में, वॉन न्यूमैन ने सेट सिद्धांत के लिए एक दृष्टिकोण की रूपरेखा तैयार की जो उन सेटों की पहचान करता है जो बहुत बड़े हैं और विरोधाभास पैदा कर सकते हैं। वॉन न्यूमैन ने मानदंड का उपयोग करके इन सेटों की पहचान की: एक सेट 'बहुत बड़ा' है यदि और केवल तभी जब यह सभी चीजों के सेट के बराबर हो। फिर उन्होंने प्रतिबंधित किया कि इन सेटों का उपयोग कैसे किया जा सकता है: ... विरोधाभासों से बचने के लिए जो [सेट] 'बहुत बड़े' हैं उन्हें तत्वों के रूप में अस्वीकार्य घोषित किया गया है। इस प्रतिबंध को अपने मानदंड के साथ जोड़कर, वॉन न्यूमैन ने आकार की सीमा के सिद्धांत का पहला संस्करण प्राप्त किया, जो वर्गों की भाषा में कहता है: एक वर्ग एक उचित वर्ग है यदि और केवल अगर यह वी के साथ समतुल्य है। 1925 तक, वॉन न्यूमैन ने अपने स्वयंसिद्ध को संशोधित करके इसे V के साथ समतुल्य कर दिया। इसे V पर मैप किया जा सकता है, जो आकार की सीमा का सिद्धांत उत्पन्न करता है। इस संशोधन ने वॉन न्यूमैन को प्रतिस्थापन के सिद्धांत का एक सरल प्रमाण देने की अनुमति दी। वॉन न्यूमैन का स्वयंसिद्ध सेट सेट को उन वर्गों के रूप में पहचानता है जिन्हें वी पर मैप नहीं किया जा सकता है। वॉन न्यूमैन ने महसूस किया कि, इस सिद्धांत के साथ भी, उनका सेट सिद्धांत सेट को पूरी तरह से चित्रित नहीं करता है।

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


 * विशेष रूप से मेरा मानना ​​​​है कि उनकी [वॉन न्यूमैन की] आवश्यक और पर्याप्त शर्त, जिसे एक संपत्ति को पूरा करना चाहिए, एक सेट को परिभाषित करने के लिए, बहुत रुचि है, क्योंकि यह स्वयंसिद्ध सेट सिद्धांत के विरोधाभासों के संबंध को स्पष्ट करता है। यह स्थिति वास्तव में चीजों के सार को समझती है, यह इस तथ्य से देखा जाता है कि यह पसंद के सिद्धांत को दर्शाता है, जो पहले अन्य अस्तित्व संबंधी सिद्धांतों से काफी अलग था। चीजों को देखने के इस तरीके से संभव होने वाले विरोधाभासों की सीमा वाले निष्कर्ष, मुझे न केवल बहुत सुंदर लगते हैं, बल्कि तार्किक दृष्टिकोण से भी बहुत दिलचस्प लगते हैं। इसके अलावा मेरा मानना ​​है कि केवल इस दिशा में आगे बढ़ने से, यानी रचनावाद (गणित) के विपरीत दिशा में, अमूर्त सेट सिद्धांत की बुनियादी समस्याएं हल हो जाएंगी।

ग्रन्थसूची

 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.
 * English translation:.