प्राकृतिक संख्याओं की समुच्चय-सैद्धांतिक परिभाषा

समूह सिद्धान्त में, प्राकृतिक संख्याओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें वॉन न्यूमैन ऑर्डिनल्स माध्यम से प्रतिनिधित्व सम्मलित है, जो सामान्यतः स्वयंसिद्ध समुच्चय सिद्धान्त में नियोजित होता है, और गोटलोब फ्रीज और बर्ट्रेंड रसेल द्वारा प्रस्तावित समतुल्यता पर आधारित एक प्रणाली है।

वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा
ज़र्मेलो-फ्रेंकेल (जेडएफ) समूह सिद्धांत में, प्राकृतिक संख्याओं को 0 = {} को रिक्त समूह और प्रत्येक एन के लिए एन + 1 = एन ∪ {एन} देकर पुनरावर्ती रूप से परिभाषित किया जाता है। इस प्रकार प्रत्येक प्राकृत संख्या n के लिए n = {0, 1, …, n - 1}। इस परिभाषा में यह गुण है कि n, n तत्वों वाला एक समुच्चय है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं:


 * $$\begin{alignat}{2}

0 & {} = \{\}     && {} = \varnothing,\\ 1 & {} = \{0\}    && {} = \{\varnothing\},\\ 2 & {} = \{0,1\}  && {} = \{\varnothing,\{\varnothing\}\},\\ 3 & {} = \{0,1,2\} && {} = \{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\}. \end{alignat}$$ प्राकृतिक संख्याओं के समुच्चय N को इस प्रणाली में 0 वाले सबसे छोटे समुच्चय के रूप में परिभाषित किया गया है और इसे परिभाषित उत्तराधिकारी कार्य S के अनुसार संवृत किया गया है S(n) = n ∪ {n}. संरचना ⟨N, 0, S⟩ पीनो अभिगृहीत का एक नमूना है. समुच्चय N का अस्तित्व ZF समुच्चय सिद्धांत में अनंत के अभिगृहीत के समतुल्य है।

समूह एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन समूह को "काउंटर समूह" के रूप में संदर्भित करते हैं। [1]

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

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

प्राकृतिक संख्याओं को एक समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चयों से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका एक आदिम धारणा, कार्ड, और जेडएफ समुच्चय सिद्धान्त (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का एक सिद्धांत जोड़ना है।

कार्डिनैलिटी का सिद्धांत: समूह ए और बी समतुल्य हैं यदि और केवल यदि कार्ड (A) = कार्ड (B)

परिभाषा: कार्डिनल K और L का योग जैसे K= कार्ड(A) और L = कार्ड (B) जहां समूह A और B असंयुक्त हैं, कार्ड (A ∪ B) है।

परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है:

परिभाषा: एक समुच्चय परिमित है यदि और केवल यदि उसके उपसमुच्चय के किसी गैर-रिक्त परिवार में समावेशन क्रम के लिए न्यूनतम तत्व हो।

परिभाषा: एक कार्डिनल n एक प्राकृतिक संख्या है, और केवल यदि कोई परिमित समुच्चय सम्मलित है जिसका कार्डिनल n है।

0 = कार्ड (∅)

1 = कार्ड({A}) = कार्ड({∅})

परिभाषा: कार्डिनल K का उत्तराधिकारी कार्डिनल K + 1 है

प्रमेय: प्राकृतिक संख्याएँ पीनो के सिद्धांतों को संतुष्ट करती हैं

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

यह भी देखें

 * एकरमैन कोडिंग
 * गणित की नींव
 * नई नींव

संदर्भ

 * Anderson, D. J., and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1–26.
 * George Boolos, 1998. Logic, Logic, and Logic.
 * Abraham Fraenkel, 1968 (1953). Abstrast Set Theory. North Holland, Amsterdam, 4th edtition.
 * Hatcher, William S., 1982. The Logical Foundations of Mathematics. Pergamon. In this text, S refers to the Peano axioms.
 * Holmes, Randall, 1998. Elementary Set Theory with a Universal Set. Academia-Bruylant. The publisher has graciously consented to permit diffusion of this introduction to NFU via the web. Copyright is reserved.
 * Patrick Suppes, 1972 (1960). Axiomatic Set Theory. Dover.
 * Patrick Suppes, 1972 (1960). Axiomatic Set Theory. Dover.

बाहरी संबंध

 * Stanford Encyclopedia of Philosophy:
 * Quine's New Foundations — by Thomas Forster.
 * Alternative axiomatic set theories — by Randall Holmes.
 * McGuire, Gary, "What are the Natural Numbers?"
 * Randall Holmes: New Foundations Home Page.