विस्तारात्मकता का अभिगृहीत

स्वयंसिद्ध समुच्चय सिद्धांत और तर्कशास्त्र, गणित और कंप्यूटर विज्ञान की शाखाओं में इसका उपयोग करते हैं, विस्तार का स्वयंसिद्ध या विस्तार का स्वयंसिद्ध ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्धों में से एक है। यह कहता है कि समान अवयवों वाले समुच्चय समान समुच्चय होते हैं।

औपचारिक वक्तव्य
ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों की औपचारिक भाषा में, स्वयंसिद्ध पढ़ा जाता है:


 * $$\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies A = B)$$

या शब्दों में:
 * किसी भी समुच्चय (गणित) A और किसी भी समुच्चय B को देखते हुए, यदि प्रत्येक समुच्चय X के लिए, X, A का सदस्य है और केवल यदि X, B का सदस्य है, तो A, B के बराबर है।
 * (यह वास्तव में जरूरी नहीं है कि X यहां एक समुच्चय हो - लेकिन जेडएफ में, सबकुछ है। इसका उल्लंघन होने पर नीचे उर-तत्व देखें।)

संभाषण, $$\forall A \, \forall B \, (A = B \implies \forall X \, (X \in A \iff X \in B) ),$$ समानता (गणित) की प्रतिस्थापन गुण से इस स्वयंसिद्ध का अनुसरण होता है।

व्याख्या
इस स्वयंसिद्ध को समझने के लिए, ध्यान दें कि उपरोक्त प्रतीकात्मक कथन में कोष्ठकों में खंड केवल यह बताता है कि A और B में बिल्कुल समान सदस्य हैं। इस प्रकार, स्वयंसिद्ध वास्तव में यह कह रहा है कि दो समुच्चय समान हैं यदि और केवल यदि उनके ठीक समान सदस्य हैं। इसका सार यह है:
 * समुच्चय अपने सदस्यों द्वारा विशिष्ट रूप से निर्धारित किया जाता है।

विस्तार के स्वयंसिद्ध का उपयोग प्रपत्र के किसी भी कथन के साथ किया जा सकता है$$\exists A \, \forall X \, (X \in A \iff P(X) \, )$$, जहां P कोई एकल निर्धारक (गणित) है जिसमें A का उल्लेख नहीं है, अद्वितीय समुच्चय को परिभाषित करने के लिए $$A$$ जिसके सदस्य सटीक रूप से निर्धारक को आपूर्ति करने वाले समुच्चय हैं$$P$$। हम इसके लिए नया प्रतीक पेश कर सकते हैं $$A$$; यह इस तरह से है कि सामान्य गणित में परिभाषाएँ अंततः तब काम करती हैं जब उनके बयानों को विशुद्ध रूप से समुच्चय-सैद्धांतिक शर्तों तक सीमित कर दिया जाता है।

गणित की समुच्चय-सैद्धांतिक नींव में व्यापकता का सिद्धांत सामान्यतः विवादास्पद नहीं है, और यह या समकक्ष समुच्चय सिद्धांत के किसी भी वैकल्पिक स्वयंसिद्धता के बारे में प्रकट होता है। हालाँकि, इसमें कुछ उद्देश्यों के लिए संशोधन की आवश्यकता हो सकती है, जैसा कि नीचे दिया गया है।

समानता के बिना निर्धारक तर्कशास्त्र में
ऊपर दिया गया स्वयंसिद्ध मानता है कि निर्धारक तर्कशास्त्र में समानता आदिम प्रतीक है। स्वयंसिद्ध समुच्चय सिद्धांत के कुछ उपचार इसके बिना करना पसंद करते हैं, और इसके बजाय उपरोक्त कथन को स्वयंसिद्ध नहीं बल्कि समानता की परिभाषा के रूप में मानते हैं। फिर इस परिभाषित प्रतीक के बारे में स्वयंसिद्धों के रूप में निर्धारक तर्कशास्त्र से समानता के सामान्य स्वयंसिद्धों को सम्मिलित करना आवश्यक है। समानता के अधिकांश स्वयंसिद्ध अभी भी परिभाषा से अनुसरण करते हैं; शेष एक प्रतिस्थापन गुण है,
 * $$\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \implies \forall Y \, (A \in Y \iff B \in Y) \, ),$$
 * और यह यह स्वयंसिद्ध बन जाता है जिसे इस संदर्भ में विस्तार की स्वयंसिद्धता के रूप में जाना जाता है।

उर-तत्वों के साथ समुच्चय सिद्धांत में
उर-तत्व समुच्चय का सदस्य है जो स्वयं एक समुच्चय नहीं है। ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों में, कोई उर-तत्व नहीं हैं, लेकिन वे समुच्चय सिद्धांत के कुछ वैकल्पिक स्वयंसिद्धों में सम्मिलित हैं। उर-तत्वों को समुच्चय से भिन्न तार्किक प्रकार के रूप में माना जा सकता है; इस मामले में, $$B \in A$$ यदि कोई मतलब नहीं है $$A$$ एक उर-तत्व है, इसलिए विस्तार का सिद्धांत केवल समुच्चय पर ही लागू होता है।

वैकल्पिक रूप से, अप्रकाशित तर्कशास्त्र में, हम आवश्यकता कर सकते हैं $$B \in A$$ जब भी भ्रामक है $$A$$ उर-तत्व है। इस मामले में, विस्तार की सामान्य स्वयंसिद्धता का अर्थ यह होगा कि प्रत्येक उर-तत्व खाली समुच्चय के बराबर है। इस परिणाम से बचने के लिए, हम केवल गैर-खाली समुच्चय पर लागू करने के लिए विस्तार के स्वयंसिद्ध को संशोधित कर सकते हैं, जिससे कि यह पढ़ सके:


 * $$\forall A \, \forall B \, ( \exists X \, (X \in A) \implies [ \forall Y \, (Y \in A \iff Y \in B) \implies A = B ] \, ).$$

वह है:
 * किसी भी समुच्चय A और किसी भी समुच्चय B को देखते हुए, यदि A गैर-खाली समुच्चय है (अर्थात, यदि A का कोई सदस्य X सम्मिलित है), तो यदि A और B के समान सदस्य हैं, तो वे बराबर हैं।

अनटाइप्ड लॉजिक में अन्य विकल्प परिभाषित करना है $$A$$ स्वयं का एकमात्र तत्व $$A$$ है जब भी $$A$$ उर-तत्व है। जबकि यह दृष्टिकोण विस्तार के स्वयंसिद्ध को संरक्षित करने के लिए काम कर सकता है, नियमितता के स्वयंसिद्ध को इसके बजाय समायोजन की आवश्यकता होगी।

यह भी देखें

 * सामान्य अवलोकन के लिए व्यापकता।

संदर्भ

 * Paul Halmos, 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).
 * Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer.  ISBN 3-540-44085-2.
 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.