द्वितीय-क्रम अंकगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{short description|Mathematical system}}
{{short description|Mathematical system}}
गणितीय तर्क में, द्वितीय-क्रम अंकगणित [[स्वयंसिद्ध]] प्रणालियों का एक संग्रह है, जो [[प्राकृतिक संख्याओं]] और उनके उपसमुच्चय को औपचारिक रूप देता है। यह गणित के बहुत से, लेकिन सभी के लिए [[गणित की नींव]] के रूप में स्वयंसिद्ध समुच्चय सिद्धांत का एक विकल्प है।
गणितीय तर्क में, द्वितीय-क्रम अंकगणित [[स्वयंसिद्ध]] प्रणालियों का एक संग्रह है, जो [[प्राकृतिक संख्याओं]] और उनके उपसमूह को औपचारिक होता है। यह गणित के बहुत से, लेकिन सभी के लिए नहीं, आधार के रूप में स्वयंसिद्ध समूह सिद्धांत का एक विकल्प है।


दूसरे क्रम के अंकगणित का अग्रदूत जिसमें तीसरे क्रम के पैरामीटर सम्मिलित करना हैं, [[डेविड हिल्बर्ट]] और [[पॉल बर्नीस]] ने अपनी पुस्तक [[ग्रुंडलाजेन डेर मैथेमेटिक]] में प्रस्तुत किया था। दूसरे क्रम के अंकगणित के मानक स्वयंसिद्धीकरण को '''Z<sub>2</sub>''' द्वारा निरूपित किया जाता है।
दूसरे क्रम के अंकगणित का अग्रदूत जिसमें तीसरे क्रम के पैरामीटर सम्मिलित हैं, [[डेविड हिल्बर्ट]] और [[पॉल बर्नीस]] ने अपनी पुस्तक [[ग्रुंडलाजेन डेर मैथेमेटिक]] में प्रस्तुत किया था। दूसरे क्रम के अंकगणित के मानक स्वयंसिद्धीकरण को '''Z<sub>2</sub>''' द्वारा दर्शाया गया है।


दूसरे क्रम के अंकगणित में इसके [[पहले क्रम]] के समकक्ष पीनो अंकगणित सम्मिलित करना है, लेकिन यह उससे अधिक मजबूत है। पीनो अंकगणित के विपरीत, दूसरे क्रम का अंकगणित प्राकृतिक संख्याओं के समुच्चय के साथ-साथ स्वयं संख्याओं के [[परिमाणीकरण (तर्क)|परिमाणी करण]] की अनुमति देता है। क्योंकि [[वास्तविक संख्याओं]] को प्रसिद्ध विधियों से प्राकृतिक संख्याओं [[(अनंत सेट)|(अनंत समुच्चय)]] के रूप में दर्शाया जा सकता है, और क्योंकि दूसरे क्रम का अंकगणित ऐसे समुच्चयों पर परिमाणी करण की अनुमति देता है, इसलिए दूसरे क्रम के अंकगणित में वास्तविक संख्याओं को औपचारिक रूप देना संभव है। इस कारण से, दूसरे क्रम के अंकगणित को कभी-कभी " [[गणितीय विश्लेषण|विश्लेषण]] " कहा जाता है।<ref>{{cite book|author=Sieg, W.|authorlink=Wilfried Sieg|year=2013|url=https://books.google.com/books?id=TdnQCwAAQBAJ&q=%22Second-order+arithmetic%22|title=हिल्बर्ट के कार्यक्रम और परे|publisher=Oxford University Press|pages=291|isbn=978-0-19-970715-7 }}</ref>
दूसरे क्रम के अंकगणित में इसके [[पहले क्रम]] के समकक्ष पीनो अंकगणित सम्मिलित है, लेकिन यह उससे अधिक मजबूत है। पीनो अंकगणित के विपरीत, दूसरे क्रम का अंकगणित प्राकृतिक संख्याओं के समूह के साथ-साथ स्वयं संख्याओं के [[परिमाणीकरण (तर्क)|परिमाणीकरण]] की अनुमति देता है। क्योंकि [[वास्तविक संख्याओं]] को प्रसिद्ध विधियों से प्राकृतिक संख्याओं [[(अनंत सेट)|(अनंत )]] के रूप में दर्शाया जा सकता है, और क्योंकि दूसरे क्रम का अंकगणित ऐसे समूहो पर परिमाणी करण की अनुमति देता है, इसलिए दूसरे क्रम के अंकगणित में वास्तविक संख्याओं को औपचारिक रूप देना संभव है। इस कारण से, दूसरे क्रम के अंकगणित को कभी-कभी "[[गणितीय विश्लेषण|विश्लेषण]]" कहा जाता है।<ref>{{cite book|author=Sieg, W.|authorlink=Wilfried Sieg|year=2013|url=https://books.google.com/books?id=TdnQCwAAQBAJ&q=%22Second-order+arithmetic%22|title=हिल्बर्ट के कार्यक्रम और परे|publisher=Oxford University Press|pages=291|isbn=978-0-19-970715-7 }}</ref>


द्वितीय-क्रम अंकगणित को समुच्चय सिद्धांत के एक कमजोर संस्करण के रूप में भी देखा जा सकता है जिसमें प्रत्येक तत्व या तो एक प्राकृतिक संख्या या प्राकृतिक संख्याओं का एक समुच्चय है। यद्यपि यह ज़ेर्मेलो-फ्रांकेल समुच्चय सिद्धांत की तुलना में बहुत कमजोर है, दूसरे क्रम का अंकगणित अनिवार्य रूप से [[शास्त्रीय गणित|आधारित गणित]] के सभी परिणामों को अपनी भाषा में व्यक्त करने योग्य सिद्ध कर सकता है।
दूसरे-क्रम अंकगणित को समूह सिद्धांत के एक अस्थिर संस्करण के रूप में भी देखा जा सकता है जिसमें प्रत्येक तत्व या तो एक प्राकृतिक संख्या या प्राकृतिक संख्याओं का एक समूह है। यद्यपि यह ज़ेर्मेलो-फ्रांकेल समूह सिद्धांत की बहुत अस्थिर है, दूसरे क्रम का अंकगणित अनिवार्य रूप से [[शास्त्रीय गणित]] के सभी परिणामों को अपनी भाषा में व्यक्त कर सकता है।


दूसरे क्रम के अंकगणित का एक उपप्रणाली दूसरे क्रम के अंकगणित की भाषा में एक [[सिद्धांत (तर्क)]] है, जिसका प्रत्येक स्वयंसिद्ध पूर्ण दूसरे क्रम के अंकगणित (Z<sub>2</sub>) का एक प्रमेय है। ऐसे उपप्रणालियाँ गणित को उलटने के लिए आवश्यक हैं, एक शोध कार्यक्रम यह जांच करता है, कि भिन्न-भिन्न ताकत के कुछ कमजोर उपप्रणालियों में आधारित गणित का कितना भाग प्राप्त किया जा सकता है। इन कमजोर उपप्रणालियों में अधिकांश मुख्य गणित को औपचारिक रूप दिया जा सकता है, जिनमें से कुछ को नीचे परिभाषित किया गया है। [[उलटा गणित|रिवर्स गणित]] यह भी स्पष्ट करता है, कि आधारित गणित किस सीमा और विधि से गैर-रचनात्मक है।
दूसरे क्रम के अंकगणित का एक उपप्रणाली दूसरे क्रम के अंकगणित की भाषा में एक [[सिद्धांत (तर्क)|सिद्धांत]] है, जिसका प्रत्येक स्वयंसिद्ध पूर्ण दूसरे क्रम के अंकगणित (Z<sub>2</sub>) का एक प्रमेय है। ऐसे उपप्रणालियाँ गणित को रिवर्स के लिए आवश्यक हैं, एक शोध कार्यक्रम यह जांच करता है, कि भिन्न-भिन्न ताकत के कुछ अस्थिर उपप्रणालियों में आधारित गणित का कितना भाग प्राप्त किया जा सकता है। इन अस्थिर उपप्रणालियों में अधिकांश मुख्य गणित को औपचारिक रूप दिया जा सकता है, जिनमें से कुछ को नीचे परिभाषित किया गया है। [[उलटा गणित|रिवर्स गणित]] यह भी स्पष्ट करता है, कि आधारित गणित किस सीमा और विधि से गैर-रचनात्मक है।


==परिभाषा==
==परिभाषा==


===सिंटेक्स===
===सिंटेक्स===
दूसरे क्रम के अंकगणित की भाषा द्विक्रमीय होती है। पहले प्रकार के पद और विशेष रूप से चर, जिन्हें सामान्यतः छोटे अक्षरों द्वारा दर्शाया जाता है, यह इन व्यक्तियों से मिलकर बनता है, जिनकी इच्छित व्याख्या प्राकृतिक संख्याओं के रूप में होती है। अन्य प्रकार के चर, जिन्हें विभिन्न प्रकार से "समुच्चय चर", "वर्ग चर", या यहां तक कि "विधेय" भी कहा जाता है, सामान्यतः बड़े अक्षरों द्वारा दर्शाए जाते हैं। वे व्यक्तियों के वर्गों/विधेय/गुणों का उल्लेख करते हैं, और इसलिए उन्हें प्राकृतिक संख्याओं के समुच्चय के रूप में सोचा जा सकता है। व्यक्तियों और समुच्चय चर दोनों को [[सार्वभौमिक परिमाणीकरण|सार्वभौमिक]] या [[अस्तित्वगत परिमाणीकरण|अस्तित्वगत]] रूप से परिमाणित किया जा सकता है। एक सूत्र जिसमें कोई [[बाध्य चर]] समुच्चय चर नहीं है, (अर्थात समुच्चय चर पर कोई क्वांटिफायर नहीं) को अंकगणित कहा जाता है। एक अंकगणितीय सूत्र में मुक्त समुच्चय चर और बाध्य व्यक्तिगत चर हो सकते हैं।
दूसरे क्रम के अंकगणित की भाषा द्विक्रमीय होती है। पहले प्रकार के पद और विशेष रूप से चर, जिन्हें सामान्यतः छोटे अक्षरों द्वारा दर्शाया जाता है, यह इंडिविजुअल होता है, जिनकी इच्छित व्याख्या प्राकृतिक संख्याओं के रूप में होती है। अन्य प्रकार के चर, जिन्हें विभिन्न प्रकार से "समूह चर", "वर्ग चर", या यहां तक कि "विधेय" भी कहा जाता है, सामान्यतः बड़े अक्षरों द्वारा दर्शाए जाते हैं। वे इंडिविजुअल के वर्गों/विधेय/गुणों का उल्लेख करते हैं, और इसलिए उन्हें प्राकृतिक संख्याओं के समूह के रूप में दर्शाए जा सकता है। इंडिविजुअल और समूह चर दोनों को [[सार्वभौमिक परिमाणीकरण|सार्वभौमिक]] या [[अस्तित्वगत परिमाणीकरण|अस्तित्वगत]] रूप से परिमाणित किया जा सकता है। एक सूत्र जिसमें कोई [[बाध्य चर]] समूह चर नहीं है, (अर्थात समूह चर पर कोई क्वांटिफायर नहीं) को अंकगणित कहा जाता है। एक अंकगणितीय सूत्र में मुक्त समूह चर और बाध्य इंडिविजुअल चर हो सकते हैं।


व्यक्तिगत पद स्थिरांक 0, यूनरी फलन एस (उत्तराधिकारी फलन ), और बाइनरी ऑपरेशन + और से बनते हैं, (जोड़ और गुणा) उत्तराधिकारी फलन अपने इनपुट में 1 जोड़ता है। संबंध = (समानता) और < (प्राकृतिक संख्याओं की तुलना) दो व्यक्तियों से संबंधित हैं, जबकि संबंध ∈ (सदस्यता) एक व्यक्ति और एक समुच्चय (या वर्ग) से संबंधित है। <math>\mathcal{L}=\{0,S,+,\cdot,=,<,\in\}</math> इस प्रकार अंकन में दूसरे क्रम के अंकगणित की भाषा हस्ताक्षर द्वारा दी जाती है।
इंडिविजुअल पद स्थिरांक 0, यूनरी फ़ंक्शन एस (उत्तराधिकारी फ़ंक्शन ), और बाइनरी ऑपरेशन + और से बनते हैं, . (जोड़ और गुणा) उत्तराधिकारी फ़ंक्शन अपने इनपुट में 1 जोड़ता है। रिलेशन = (समानता) और < (प्राकृतिक संख्याओं की तुलना) दो इंडिविजुअल से रिलेशनित हैं, जबकि रिलेशन ∈ (सदस्यता) एक इंडिविजुअल और एक समूह (या वर्ग) से रिलेशनित है। <math>\mathcal{L}=\{0,S,+,\cdot,=,<,\in\}</math> इस प्रकार अंकन में दूसरे क्रम के अंकगणित की भाषा हस्ताक्षर द्वारा दी जाती है।


उदाहरण के लिए, <math>\forall n (n\in X \rightarrow Sn \in X)</math> दूसरे क्रम के अंकगणित का एक सुव्यवस्थित सूत्र है, जो अंकगणितीय है, इसमें एक मुक्त समुच्चय चर <math>\exists X \forall n(n\in X \leftrightarrow n < SSSSSS0\cdot SSSSSSS0)</math>
उदाहरण के लिए, <math>\forall n (n\in X \rightarrow Sn \in X)</math> दूसरे क्रम के अंकगणित का एक सुव्यवस्थित सूत्र है, जो अंकगणितीय है, इसमें एक मुक्त समूह चर <math>\exists X \forall n(n\in X \leftrightarrow n < SSSSSS0\cdot SSSSSSS0)</math>


एक सुगठित सूत्र है, जो अंकगणितीय नहीं है, जिसमें एक बाध्य समुच्चय चर X और एक बाध्य व्यक्तिगत चर n है।
एक सुगठित सूत्र है, जो अंकगणितीय नहीं है, जिसमें एक बाध्य समूह चर X और एक बाध्य इंडिविजुअल चर n है।


===शब्दार्थ===
===शब्दार्थ===
परिमाण कों की कई भिन्न-भिन्न व्याख्याएँ संभव हैं। यदि दूसरे क्रम के तर्क के पूर्ण शब्दार्थ का उपयोग करके दूसरे क्रम के अंकगणित का अध्ययन किया जाता है, तो समुच्चय क्वांटिफायर व्यक्तिगत चर की सीमा के सभी सबसमुच्चय पर होते हैं। यदि दूसरे क्रम के अंकगणित को प्रथम-क्रम तर्क (हेनकिन शब्दार्थ) के शब्दार्थ का उपयोग करके औपचारिक रूप दिया जाता है, तो किसी भी मॉडल में समुच्चय चर के लिए एक डोमेन सम्मिलित करना होता है, और यह डोमेन व्यक्तिगत चर के डोमेन के पूर्ण पॉवरसमुच्चय का (शापिरो 1991, पीपी 74-75) एक उचित उपसमुच्चय हो सकता है।
परिमाण कों की कई भिन्न-भिन्न व्याख्याएँ संभव हैं। यदि दूसरे क्रम के तर्क के पूर्ण शब्दार्थ का उपयोग करके दूसरे क्रम के अंकगणित का अध्ययन किया जाता है, तो समूह क्वांटिफायर इंडिविजुअल चर की सीमा के सभी सबसमूह होते हैं। यदि दूसरे क्रम के अंकगणित को प्रथम-क्रम तर्क (हेनकिन शब्दार्थ) के शब्दार्थ का उपयोग करके औपचारिक रूप दिया जाता है, तो किसी भी मॉडल में समूह चर के लिए एक डोमेन सम्मिलित करना होता है, और यह डोमेन इंडिविजुअल चर के डोमेन के पूर्ण पॉवरसमूह का (शापिरो 1991, पीपी 74-75) एक उचित उपसमूह हो सकता है।


===अभिगृहीत===
===अभिगृहीत===
Line 29: Line 29:
निम्नलिखित स्वयंसिद्धों को मूल स्वयंसिद्धों या कभी-कभी रॉबिन्सन स्वयंसिद्धों के रूप में जाना जाता है। परिणामी [[प्रथम-क्रम सिद्धांत]], जिसे [[रॉबिन्सन अंकगणित]] के रूप में जाना जाता है, अनिवार्य रूप से प्रेरण के बिना पीनो अंकगणित है। परिमाणित चरों के लिए प्रवचन का क्षेत्र प्राकृतिक संख्याएँ हैं, जिन्हें सामूहिक रूप से N द्वारा दर्शाया जाता है, और विशिष्ट सदस्य भी सम्मिलित करना हैं 0, जिसे "[[शून्य]]" कहा जाता है।
निम्नलिखित स्वयंसिद्धों को मूल स्वयंसिद्धों या कभी-कभी रॉबिन्सन स्वयंसिद्धों के रूप में जाना जाता है। परिणामी [[प्रथम-क्रम सिद्धांत]], जिसे [[रॉबिन्सन अंकगणित]] के रूप में जाना जाता है, अनिवार्य रूप से प्रेरण के बिना पीनो अंकगणित है। परिमाणित चरों के लिए प्रवचन का क्षेत्र प्राकृतिक संख्याएँ हैं, जिन्हें सामूहिक रूप से N द्वारा दर्शाया जाता है, और विशिष्ट सदस्य भी सम्मिलित करना हैं 0, जिसे "[[शून्य]]" कहा जाता है।


आदिम फलन एकात्मक उत्तराधिकारी फलन हैं, जो [[उपसर्ग]] द्वारा निरूपित होते हैं, एस, और दो [[बाइनरी ऑपरेशन]], जोड़ और [[गुणा]], [[इन्फ़िक्स ऑपरेटर]] "+" और "द्वारा दर्शाया गया है। . क्रमशः ऑर्डर नामक एक आदिम बाइनरी संबंध भी है, जिसे इन्फ़िक्स ऑपरेटर "<" द्वारा दर्शाया गया है।
आदिम फ़ंक्शन एकात्मक उत्तराधिकारी फ़ंक्शन हैं, जो [[उपसर्ग]] द्वारा निरूपित होते हैं, एस, और दो [[बाइनरी ऑपरेशन]], जोड़ और [[गुणा]], [[इन्फ़िक्स ऑपरेटर]] "+" और "द्वारा दर्शाया गया है। . क्रमशः ऑर्डर नामक एक आदिम बाइनरी रिलेशन भी है, जिसे इन्फ़िक्स ऑपरेटर "<" द्वारा दर्शाया गया है।


उत्तराधिकारी फलन और शून्य को नियंत्रित करने वाले सिद्धांत:
उत्तराधिकारी फ़ंक्शन और शून्य को नियंत्रित करने वाले सिद्धांत:
:1. <math>\forall m [Sm=0 \rightarrow \bot].</math> (प्राकृतिक संख्या का उत्तराधिकारी कभी शून्य नहीं होता है।)
:1. <math>\forall m [Sm=0 \rightarrow \bot].</math> (प्राकृतिक संख्या का उत्तराधिकारी कभी शून्य नहीं होता है।)
:2. <math>\forall m \forall n [Sm=Sn \rightarrow m=n].</math> (उत्तराधिकारी फलन इंजेक्टिव है।)
:2. <math>\forall m \forall n [Sm=Sn \rightarrow m=n].</math> (उत्तराधिकारी फ़ंक्शन इंजेक्टिव है।)
:3. <math>\forall n [0=n \lor \exists m [Sm=n] ].</math> (प्रत्येक प्राकृतिक संख्या शून्य या उत्तराधिकारी होती है।)
:3. <math>\forall n [0=n \lor \exists m [Sm=n] ].</math> (प्रत्येक प्राकृतिक संख्या शून्य या उत्तराधिकारी होती है।)


Line 42: Line 42:
:6. <math>\forall m [m\cdot 0 = 0]</math>
:6. <math>\forall m [m\cdot 0 = 0]</math>
:7. <math>\forall m \forall n [m \cdot Sn = (m\cdot n)+m]</math>
:7. <math>\forall m \forall n [m \cdot Sn = (m\cdot n)+m]</math>
आदेश संबंध "<" को नियंत्रित करने वाले अभिगृहीत:
आदेश रिलेशन "<" को नियंत्रित करने वाले अभिगृहीत:
:8. <math>\forall m [m<0 \rightarrow \bot].</math> (कोई भी प्राकृत संख्या शून्य से छोटी नहीं होती है।)
:8. <math>\forall m [m<0 \rightarrow \bot].</math> (कोई भी प्राकृत संख्या शून्य से छोटी नहीं होती है।)
:9. <math>\forall n \forall m [m<Sn \leftrightarrow (m<n \lor m=n)]</math>
:9. <math>\forall n \forall m [m<Sn \leftrightarrow (m<n \lor m=n)]</math>
:10. <math>\forall n [0=n \lor 0<n].</math> (प्रत्येक प्राकृतिक संख्या शून्य या शून्य से बड़ी होती है।)
:10. <math>\forall n [0=n \lor 0<n].</math> (प्रत्येक प्राकृतिक संख्या शून्य या शून्य से बड़ी होती है।)
:11 <math>\forall m \forall n [(Sm<n \lor Sm=n) \leftrightarrow m<n]</math>
:11 <math>\forall m \forall n [(Sm<n \lor Sm=n) \leftrightarrow m<n]</math>
ये सभी स्वयंसिद्ध कथन प्रथम-क्रम के कथन हैं। अर्थात्, सभी चर प्राकृतिक संख्याओं पर आधारित में होते हैं, न कि उनके समुच्चयों के, यह तथ्य उनके अंकगणितीय होने से भी अधिक मजबूत है। इसके अतिरिक्त, अभिगृहीत 3 में मात्र एक [[अस्तित्वगत परिमाणक]] है। अभिगृहीत 1 और 2, प्रेरण के एक अभिगृहीत स्कीमा के साथ मिलकर एन की सामान्य पीनो-डेडेकाइंड परिभाषा बनाते हैं। इन अभिगृहीतों में प्रेरण के किसी भी प्रकार के अभिगृहीत स्कीमा को जोड़ने से अभिगृहीत 3, 10, और 11 निरर्थक हो जाते हैं।
ये सभी स्वयंसिद्ध कथन प्रथम-क्रम के कथन हैं। अर्थात्, सभी चर प्राकृतिक संख्याओं पर आधारित में होते हैं, न कि उनके समूहों के, यह तथ्य उनके अंकगणितीय होने से भी अधिक मजबूत है। इसके अतिरिक्त, अभिगृहीत 3 में मात्र एक [[अस्तित्वगत परिमाणक]] है। अभिगृहीत 1 और 2, प्रेरण के एक अभिगृहीत स्कीमा के साथ मिलकर एन की सामान्य पीनो-डेडेकाइंड परिभाषा बनाते हैं। इन अभिगृहीतों में प्रेरण के किसी भी प्रकार के अभिगृहीत स्कीमा को जोड़ने से अभिगृहीत 3, 10, और 11 निरर्थक हो जाते हैं।


====प्रेरण और समझ स्कीमा====
====प्रेरण और समझ स्कीमा====
यदि φ(n) एक मुक्त व्यक्तिगत चर n और संभवतः अन्य मुक्त व्यक्तिगत या समुच्चय चर (लिखित ''m''<sub>1</sub>,...,''m<sub>k</sub>'' and ''X''<sub>1</sub>,...,''X<sub>l</sub>'') के साथ दूसरे क्रम के अंकगणित का एक सूत्र है, तो φ के लिए प्रेरण स्वयंसिद्ध करना होता है।
यदि φ(n) एक मुक्त इंडिविजुअल चर n और संभवतः अन्य मुक्त इंडिविजुअल या समूह चर (लिखित ''m''<sub>1</sub>,...,''m<sub>k</sub>'' and ''X''<sub>1</sub>,...,''X<sub>l</sub>'') के साथ दूसरे क्रम के अंकगणित का एक सूत्र है, तो φ के लिए प्रेरण स्वयंसिद्ध करना होता है।
:<math>\forall m_1\dots m_k \forall X_1\dots X_l ((\varphi(0) \land \forall n (\varphi(n) \rightarrow \varphi(Sn))) \rightarrow \forall n \varphi(n))</math>
:<math>\forall m_1\dots m_k \forall X_1\dots X_l ((\varphi(0) \land \forall n (\varphi(n) \rightarrow \varphi(Sn))) \rightarrow \forall n \varphi(n))</math>
(पूर्ण) दूसरे क्रम की प्रेरण योजना में सभी दूसरे क्रम के सूत्रों पर, इस स्वयंसिद्ध के सभी उदाहरण सम्मिलित करना हैं।
(पूर्ण) दूसरे क्रम की प्रेरण योजना में सभी दूसरे क्रम के सूत्रों पर, इस स्वयंसिद्ध के सभी उदाहरण सम्मिलित करना हैं।


प्रेरण योजना का एक विशेष रूप से महत्वपूर्ण उदाहरण है, जब φ सूत्र है <math>n \in X</math> इस तथ्य को व्यक्त करता है, कि n, X का एक सदस्य है (X एक मुक्त समुच्चय चर है)। इस स्थितियाँ में, φ के लिए प्रेरण स्वयंसिद्ध करना होता है।
प्रेरण योजना का एक विशेष रूप से महत्वपूर्ण उदाहरण है, जब φ सूत्र है <math>n \in X</math> इस तथ्य को व्यक्त करता है, कि n, X का एक सदस्य है (X एक मुक्त समूह चर है)। इस स्थितियाँ में, φ के लिए प्रेरण स्वयंसिद्ध करना होता है।
:<math>\forall X ((0\in X \land \forall n (n\in X \rightarrow Sn\in X)) \rightarrow \forall n (n\in X))</math>
:<math>\forall X ((0\in X \land \forall n (n\in X \rightarrow Sn\in X)) \rightarrow \forall n (n\in X))</math>
इस वाक्य को द्वितीय-क्रम प्रेरण स्वयंसिद्ध कहा जाता है।
इस वाक्य को द्वितीय-क्रम प्रेरण स्वयंसिद्ध कहा जाता है।
Line 60: Line 60:
यदि φ(n) एक मुक्त चर n और संभवतः अन्य मुक्त चर के साथ एक सूत्र है, लेकिन चर Z नहीं है, तो φ के लिए [[समझ स्वयंसिद्ध]] सूत्र है।
यदि φ(n) एक मुक्त चर n और संभवतः अन्य मुक्त चर के साथ एक सूत्र है, लेकिन चर Z नहीं है, तो φ के लिए [[समझ स्वयंसिद्ध]] सूत्र है।
:<math>\exists Z \forall n (n\in Z \leftrightarrow \varphi(n))</math>
:<math>\exists Z \forall n (n\in Z \leftrightarrow \varphi(n))</math>
यह स्वयंसिद्ध समुच्चय बनाना संभव बनाता है, <math>Z = \{ n | \varphi(n) \}</math> φ(n) को संतुष्ट करने वाली प्राकृतिक संख्याओं का एक तकनीकी प्रतिबंध है, कि सूत्र φ में चर Z सम्मिलित करना नहीं हो सकता है, अन्यथा सूत्र के लिए <math>n \not \in Z</math> समझ के सिद्धांत की ओर ले जाएगा
यह स्वयंसिद्ध समूह बनाना संभव बनाता है, <math>Z = \{ n | \varphi(n) \}</math> φ(n) को संतुष्ट करने वाली प्राकृतिक संख्याओं का एक तकनीकी प्रतिबंध है, कि सूत्र φ में चर Z सम्मिलित करना नहीं हो सकता है, अन्यथा सूत्र के लिए <math>n \not \in Z</math> समझ के सिद्धांत की ओर ले जाएगा
:<math>\exists Z \forall n ( n \in Z \leftrightarrow n \not \in Z)</math>,
:<math>\exists Z \forall n ( n \in Z \leftrightarrow n \not \in Z)</math>,


Line 66: Line 66:


===पूरा सिस्टम===
===पूरा सिस्टम===
दूसरे क्रम के अंकगणित के औपचारिक सिद्धांत (दूसरे क्रम के अंकगणित की भाषा में) में मूल स्वयंसिद्ध, प्रत्येक सूत्र φ (अंकगणित या अन्यथा) के लिए समझ स्वयंसिद्ध और दूसरे क्रम प्रेरण स्वयंसिद्ध सम्मिलित करना हैं। इस सिद्धांत को नीचे परिभाषित इसकी उपप्रणालियों से भिन्न करने के लिए कभी-कभी पूर्ण द्वितीय-क्रम अंकगणित भी कहा जाता है। चूँकि पूर्ण दूसरे क्रम के शब्दार्थ का अर्थ यह है, कि हर संभव समुच्चय उपस्थित है, जब पूर्ण दूसरे क्रम के शब्दार्थ को नियोजित किया जाता है, तो समझ के सिद्धांतों को निगमनात्मक प्रणाली का भाग माना जा सकता है (शापिरो 1991, पृष्ठ 66)।
दूसरे क्रम के अंकगणित के औपचारिक सिद्धांत (दूसरे क्रम के अंकगणित की भाषा में) में मूल स्वयंसिद्ध, प्रत्येक सूत्र φ (अंकगणित या अन्यथा) के लिए समझ स्वयंसिद्ध और दूसरे क्रम प्रेरण स्वयंसिद्ध सम्मिलित करना हैं। इस सिद्धांत को नीचे परिभाषित इसकी उपप्रणालियों से भिन्न करने के लिए कभी-कभी पूर्ण द्वितीय-क्रम अंकगणित भी कहा जाता है। चूँकि पूर्ण दूसरे क्रम के शब्दार्थ का अर्थ यह है, कि हर संभव समूह उपस्थित है, जब पूर्ण दूसरे क्रम के शब्दार्थ को नियोजित किया जाता है, तो समझ के सिद्धांतों को निगमनात्मक प्रणाली का भाग माना जा सकता है (शापिरो 1991, पृष्ठ 66)।


==मॉडल==
==मॉडल==
यह खंड प्रथम-क्रम के शब्दार्थ के साथ दूसरे-क्रम के अंकगणित का वर्णन करता है। इस प्रकार एक मॉडल <math>\mathcal{M}</math> दूसरे क्रम की अंकगणित की भाषा में एक समुच्चय एम (जो भिन्न-भिन्न चर की श्रेणी बनाता है) के साथ एक स्थिरांक 0 (एम का एक तत्व), एम से एम तक एक फलन एस, दो बाइनरी ऑपरेशन + और · एम पर, एक बाइनरी संबंध < पर एम, और एम के उपसमुच्चय का एक संग्रह डी सम्मिलित करना होता है, जो समुच्चय चर की सीमा है। डी को छोड़ने से प्रथम-क्रम अंकगणित की भाषा का एक मॉडल तैयार होता है।
यह खंड प्रथम-क्रम के शब्दार्थ के साथ दूसरे-क्रम के अंकगणित का वर्णन करता है। इस प्रकार एक मॉडल <math>\mathcal{M}</math> दूसरे क्रम की अंकगणित की भाषा में एक समूह एम (जो भिन्न-भिन्न चर की श्रेणी बनाता है) के साथ एक स्थिरांक 0 (एम का एक तत्व), एम से एम तक एक फ़ंक्शन एस, दो बाइनरी ऑपरेशन + और · एम पर, एक बाइनरी रिलेशन < पर एम, और एम के उपसमूह का एक संग्रह डी सम्मिलित करना होता है, जो समूह चर की सीमा है। डी को छोड़ने से प्रथम-क्रम अंकगणित की भाषा का एक मॉडल तैयार होता है।


जब डी, मॉडल M का पूर्ण पावरसमुच्चय है, <math>\mathcal{M}</math> को पूर्ण मॉडल कहा जाता है। पूर्ण दूसरे क्रम के शब्दार्थ का उपयोग दूसरे क्रम के अंकगणित के मॉडल को पूर्ण मॉडल तक सीमित करने के समतुल्य है। वास्तव में, दूसरे क्रम के अंकगणित के सिद्धांतों में मात्र एक पूर्ण मॉडल होता है। यह इस तथ्य से पता चलता है, कि दूसरे क्रम के प्रेरण स्वयंसिद्ध वाले पीनो सिद्धांतों में दूसरे क्रम के शब्दार्थ के अनुसार मात्र एक मॉडल होता है।
जब डी, मॉडल M का पूर्ण पावरसमूह है, <math>\mathcal{M}</math> को पूर्ण मॉडल कहा जाता है। पूर्ण दूसरे क्रम के शब्दार्थ का उपयोग दूसरे क्रम के अंकगणित के मॉडल को पूर्ण मॉडल तक सीमित करने के समतुल्य है। वास्तव में, दूसरे क्रम के अंकगणित के सिद्धांतों में मात्र एक पूर्ण मॉडल होता है। यह इस तथ्य से पता चलता है, कि दूसरे क्रम के प्रेरण स्वयंसिद्ध वाले पीनो सिद्धांतों में दूसरे क्रम के शब्दार्थ के अनुसार मात्र एक मॉडल होता है।


===परिभाषित कार्य===
===परिभाषित कार्य===
प्रथम-क्रम के कार्य जो दूसरे क्रम के अंकगणित में कुल फलन सिद्ध होते हैं, वे ठीक वैसे ही होते हैं, जैसे [[सिस्टम F|सिस्टम एफ]] में दर्शाए जा सकते हैं।<ref>{{cite book|author1=Girard, J.-Y.|authorlink1=Jean-Yves Girard|author2=Taylor|year=1987|url=http://www.paultaylor.eu/stable/Proofs+Types.html|title=प्रमाण एवं प्रकार|publisher=Cambridge University Press|pages=122–123}}</ref> लगभग समान रूप से, सिस्टम एफ दूसरे क्रम के अंकगणित के अनुरूप कार्यात्मकता का सिद्धांत है, जो गोडेल की प्रणाली टी के समान है जैसे कि गोडेल की प्रणाली टी द्वंद्वात्मक व्याख्या में प्रथम-क्रम अंकगणित से मेल खाती है।
प्रथम-क्रम के कार्य जो दूसरे क्रम के अंकगणित में कुल फ़ंक्शन सिद्ध होते हैं, वे ठीक वैसे ही होते हैं, जैसे [[सिस्टम F|सिस्टम एफ]] में दर्शाए जा सकते हैं।<ref>{{cite book|author1=Girard, J.-Y.|authorlink1=Jean-Yves Girard|author2=Taylor|year=1987|url=http://www.paultaylor.eu/stable/Proofs+Types.html|title=प्रमाण एवं प्रकार|publisher=Cambridge University Press|pages=122–123}}</ref> लगभग समान रूप से, सिस्टम एफ दूसरे क्रम के अंकगणित के अनुरूप कार्यात्मकता का सिद्धांत है, जो गोडेल की प्रणाली टी के समान है जैसे कि गोडेल की प्रणाली टी द्वंद्वात्मक व्याख्या में प्रथम-क्रम अंकगणित से मेल खाती है।


===अधिक प्रकार के मॉडल===
===अधिक प्रकार के मॉडल===
जब दूसरे क्रम के अंकगणित की भाषा के एक मॉडल में कुछ गुण होते हैं, तो इसे इन अन्य नामों से भी कहा जा सकता है:
जब दूसरे क्रम के अंकगणित की भाषा के एक मॉडल में कुछ गुण होते हैं, तो इसे इन अन्य नामों से भी कहा जा सकता है:
*जब एम अपने सामान्य संचालन के साथ प्राकृतिक संख्याओं का सामान्य समुच्चय है, <math>\mathcal{M}</math> ω-मॉडल कहा जाता है। इस स्थितियाँ में, मॉडल की पहचान डी से की जा सकती है, जो प्राकृतिक के समुच्चय का संग्रह है, क्योंकि यह समुच्चय पूरी प्रकार से ω-मॉडल निर्धारित करने के लिए पर्याप्त है। अद्वितीय पूर्ण ω-मॉडल, जो अपनी सामान्य संरचना और उसके सभी उपसमुच्चयों के साथ प्राकृतिक संख्याओं का सामान्य समुच्चय है, दूसरे क्रम के अंकगणित का इच्छित या मानक मॉडल कहा जाता है।<ref>Stephen G. Simpson, ''Subsystems of Second-order Arithmetic'' (2009, pp.3-4)</ref>
*जब एम अपने सामान्य संचालन के साथ प्राकृतिक संख्याओं का सामान्य समूह है, <math>\mathcal{M}</math> ω-मॉडल कहा जाता है। इस स्थितियाँ में, मॉडल की पहचान डी से की जा सकती है, जो प्राकृतिक के समूह का संग्रह है, क्योंकि यह समूह पूरी प्रकार से ω-मॉडल निर्धारित करने के लिए पर्याप्त है। अद्वितीय पूर्ण ω-मॉडल, जो अपनी सामान्य संरचना और उसके सभी उपसमूहों के साथ प्राकृतिक संख्याओं का सामान्य समूह है, दूसरे क्रम के अंकगणित का इच्छित या मानक मॉडल कहा जाता है।<ref>Stephen G. Simpson, ''Subsystems of Second-order Arithmetic'' (2009, pp.3-4)</ref>
*एक प्रतिमा <math>\mathcal M</math> दूसरे क्रम के अंकगणित की भाषा को β-मॉडल कहा जाता है, यदि <math>\mathcal M\prec_1^1\mathcal P(\omega)</math> अर्थात Σ<sup>1</sup><sub>1</sub>-कथन पैरामीटर के साथ <math>\mathcal M</math> जो इससे संतुष्ट हैं, <math>\mathcal M</math> पूर्ण मॉडल से संतुष्ट लोगों के समान हैं।<ref name="marek73">[[Victor W. Marek|W. Marek]], [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf Stable sets, a characterization of β<sub>2</sub>-models of full second-order arithmetic and some related facts] (1973, pp.176-177). Accessed 2021 November 4.</ref> कुछ धारणाएँ जो β-मॉडल के संबंध में निरपेक्ष हैं, उनमें सम्मिलित करना हैं, <math>A\subseteq\omega\times\omega</math> एक अच्छे क्रम को एन्कोड करता है,<ref>W. Marek, [http://matwbn.icm.edu.pl/ksiazki/fm/fm98/fm9818.pdf ω-models of second-order set theory and admissible sets] (1975, p.104). Accessed 2021 November 4.</ref> और <math>A\subseteq\omega\times\omega</math> एक ट्री है।<ref name="marek73" /> उपरोक्त परिणाम को βn-मॉडल की अवधारणा तक विस्तारित किया गया है, <math>n\in\mathbb N</math> जिसकी परिभाषा उपरोक्त के समान ही है, <math>\prec_1^1</math> द्वारा प्रतिस्थापित किया गया है, <math>\prec_n^1</math> अर्थात <math>\Sigma_1^1</math> द्वारा प्रतिस्थापित किया गया है, <math>\Sigma_n^1</math> <ref name="marek73" /> इस परिभाषा का उपयोग करना β<sub>0</sub>-मॉडल ω-मॉडल के समान हैं।<ref>W. Marek, [https://www.jstor.org/stable/2272059 Observations Concerning Elementary Extensions of ω-Models]. II (1973, p.227). Accessed 2021 November 4.</ref>  
*एक प्रतिमा <math>\mathcal M</math> दूसरे क्रम के अंकगणित की भाषा को β-मॉडल कहा जाता है, यदि <math>\mathcal M\prec_1^1\mathcal P(\omega)</math> अर्थात Σ<sup>1</sup><sub>1</sub>-कथन पैरामीटर के साथ <math>\mathcal M</math> जो इससे संतुष्ट हैं, <math>\mathcal M</math> पूर्ण मॉडल से संतुष्ट लोगों के समान हैं।<ref name="marek73">[[Victor W. Marek|W. Marek]], [http://matwbn.icm.edu.pl/ksiazki/fm/fm82/fm82112.pdf Stable sets, a characterization of β<sub>2</sub>-models of full second-order arithmetic and some related facts] (1973, pp.176-177). Accessed 2021 November 4.</ref> कुछ धारणाएँ जो β-मॉडल के रिलेशन में निरपेक्ष हैं, उनमें सम्मिलित करना हैं, <math>A\subseteq\omega\times\omega</math> एक अच्छे क्रम को एन्कोड करता है,<ref>W. Marek, [http://matwbn.icm.edu.pl/ksiazki/fm/fm98/fm9818.pdf ω-models of second-order set theory and admissible sets] (1975, p.104). Accessed 2021 November 4.</ref> और <math>A\subseteq\omega\times\omega</math> एक ट्री है।<ref name="marek73" /> उपरोक्त परिणाम को βn-मॉडल की अवधारणा तक विस्तारित किया गया है, <math>n\in\mathbb N</math> जिसकी परिभाषा उपरोक्त के समान ही है, <math>\prec_1^1</math> द्वारा प्रतिस्थापित किया गया है, <math>\prec_n^1</math> अर्थात <math>\Sigma_1^1</math> द्वारा प्रतिस्थापित किया गया है, <math>\Sigma_n^1</math> <ref name="marek73" /> इस परिभाषा का उपयोग करना β<sub>0</sub>-मॉडल ω-मॉडल के समान हैं।<ref>W. Marek, [https://www.jstor.org/stable/2272059 Observations Concerning Elementary Extensions of ω-Models]. II (1973, p.227). Accessed 2021 November 4.</ref>  
==उपप्रणाली==
==उपप्रणाली==
{{main|रिवर्स गणित}}
{{main|रिवर्स गणित}}
Line 85: Line 85:
दूसरे क्रम के अंकगणित के कई नामित उप-प्रणालियां हैं।
दूसरे क्रम के अंकगणित के कई नामित उप-प्रणालियां हैं।


सबसिस्टम के नाम में एक सबस्क्रिप्ट 0 इंगित करता है, कि इसमें पूर्ण द्वितीय-क्रम प्रेरण योजना (फ़्रीडमैन 1976) का मात्र एक प्रतिबंधित भाग सम्मिलित करना है। इस प्रकार का प्रतिबंध सिस्टम की प्रमाण-सैद्धांतिक ताकत को अधिक कम कर देता है। उदाहरण के लिए, नीचे वर्णित प्रणाली RCA 0 [[पीनो अंकगणित]] के समतुल्य है। संबंधित सिद्धांत एसीए, जिसमें ए.सी.ए<sub>0</sub> प्लस पूर्ण द्वितीय-क्रम प्रेरण योजना सम्मिलित करना है, पीनो अंकगणित से अधिक मजबूत है।
सबसिस्टम के नाम में एक सबस्क्रिप्ट 0 इंगित करता है, कि इसमें पूर्ण द्वितीय-क्रम प्रेरण योजना (फ़्रीडमैन 1976) का मात्र एक प्रतिबंधित भाग सम्मिलित करना है। इस प्रकार का प्रतिबंध सिस्टम की प्रमाण-सैद्धांतिक ताकत को अधिक कम कर देता है। उदाहरण के लिए, नीचे वर्णित प्रणाली RCA 0 [[पीनो अंकगणित]] के समतुल्य है। रिलेशनित सिद्धांत एसीए, जिसमें ए.सी.ए<sub>0</sub> प्लस पूर्ण द्वितीय-क्रम प्रेरण योजना सम्मिलित करना है, पीनो अंकगणित से अधिक मजबूत है।


===अंकगणितीय समझ===
===अंकगणितीय समझ===
अच्छी प्रकार से अध्ययन किए गए कई उपप्रणालियाँ मॉडलों के समापन गुणों से संबंधित हैं। उदाहरण के लिए, यह दिखाया जा सकता है, कि पूर्ण दूसरे क्रम के अंकगणित का प्रत्येक ω-मॉडल [[ट्यूरिंग जंप]] के अनुसार संवृत्त है, लेकिन ट्यूरिंग जंप के अनुसार संवृत्त किया गया, प्रत्येक ω-मॉडल पूर्ण दूसरे क्रम के अंकगणित का एक मॉडल नहीं है। सबसिस्टम ए.सी.ए<sub>0</sub> में ट्यूरिंग जंप के अनुसार संवृत्त होने की धारणा को पकड़ने के लिए पर्याप्त स्वयंसिद्ध सम्मिलित करना हैं।
अच्छी प्रकार से अध्ययन किए गए कई उपप्रणालियाँ मॉडलों के समापन गुणों से रिलेशनित हैं। उदाहरण के लिए, यह दिखाया जा सकता है, कि पूर्ण दूसरे क्रम के अंकगणित का प्रत्येक ω-मॉडल [[ट्यूरिंग जंप]] के अनुसार संवृत्त है, लेकिन ट्यूरिंग जंप के अनुसार संवृत्त किया गया, प्रत्येक ω-मॉडल पूर्ण दूसरे क्रम के अंकगणित का एक मॉडल नहीं है। सबसिस्टम ए.सी.ए<sub>0</sub> में ट्यूरिंग जंप के अनुसार संवृत्त होने की धारणा को पकड़ने के लिए पर्याप्त स्वयंसिद्ध सम्मिलित करना हैं।


ए.सी.ए<sub>0</sub> को मूल सिद्धांतों, अंकगणितीय समझ स्वयंसिद्ध योजना (दूसरे शब्दों में प्रत्येक अंकगणितीय सूत्र φ के लिए समझ स्वयंसिद्ध) और सामान्य दूसरे क्रम प्रेरण स्वयंसिद्ध से युक्त सिद्धांत के रूप में परिभाषित किया गया है। यह संपूर्ण अंकगणितीय प्रेरण अभिगृहीत योजना को भी सम्मिलित करनाकरने के समतुल्य होगा, दूसरे शब्दों में प्रत्येक अंकगणितीय सूत्र φ के लिए प्रेरण अभिगृहीत को सम्मिलित करना होता है।
ए.सी.ए<sub>0</sub> को मूल सिद्धांतों, अंकगणितीय समझ स्वयंसिद्ध योजना (दूसरे शब्दों में प्रत्येक अंकगणितीय सूत्र φ के लिए समझ स्वयंसिद्ध) और सामान्य दूसरे क्रम प्रेरण स्वयंसिद्ध से युक्त सिद्धांत के रूप में परिभाषित किया गया है। यह संपूर्ण अंकगणितीय प्रेरण अभिगृहीत योजना को भी सम्मिलित करनाकरने के समतुल्य होगा, दूसरे शब्दों में प्रत्येक अंकगणितीय सूत्र φ के लिए प्रेरण अभिगृहीत को सम्मिलित करना होता है।


यह दिखाया जा सकता है, कि यदि एस को ट्यूरिंग जंप, [[ट्यूरिंग रिड्यूसिबिलिटी]] और ट्यूरिंग जॉइन (सिम्पसन 2009, पीपी. 311-313) के अनुसार संवृत्त किया जाता है, तो एस के उपसमुच्चय का एक संग्रह ए.सी.ए<sub>0</sub> का एक Q-मॉडल निर्धारित करता है।
यह दिखाया जा सकता है, कि यदि एस को ट्यूरिंग जंप, [[ट्यूरिंग रिड्यूसिबिलिटी]] और ट्यूरिंग जॉइन (सिम्पसन 2009, पीपी. 311-313) के अनुसार संवृत्त किया जाता है, तो एस के उपसमूह का एक संग्रह ए.सी.ए<sub>0</sub> का एक Q-मॉडल निर्धारित करता है।


ए.सी.ए<sub>0</sub> में सबस्क्रिप्ट 0<sub>0</sub> इंगित करता है, कि इंडक्शन एक्सिओम योजना के प्रत्येक उदाहरण में यह सबसिस्टम सम्मिलित करना नहीं है। इससे ω-मॉडल के लिए कोई फर्क नहीं पड़ता है, जो स्वचालित रूप से प्रेरण सिद्धांत के प्रत्येक उदाहरण को संतुष्ट करता है। चूंकि, गैर-ω-मॉडल के अध्ययन में इसका महत्व है। सभी सूत्रों के लिए ए.सी.ए<sub>0</sub> प्लस इंडक्शन से युक्त प्रणाली को कभी-कभी बिना सबस्क्रिप्ट वाला एसीए कहा जाता है।
ए.सी.ए<sub>0</sub> में सबस्क्रिप्ट 0<sub>0</sub> इंगित करता है, कि इंडक्शन एक्सिओम योजना के प्रत्येक उदाहरण में यह सबसिस्टम सम्मिलित करना नहीं है। इससे ω-मॉडल के लिए कोई फर्क नहीं पड़ता है, जो स्वचालित रूप से प्रेरण सिद्धांत के प्रत्येक उदाहरण को संतुष्ट करता है। चूंकि, गैर-ω-मॉडल के अध्ययन में इसका महत्व है। सभी सूत्रों के लिए ए.सी.ए<sub>0</sub> प्लस इंडक्शन से युक्त प्रणाली को कभी-कभी बिना सबस्क्रिप्ट वाला एसीए कहा जाता है।
Line 101: Line 101:
{{main|अंकगणितीय पदानुक्रम}}
{{main|अंकगणितीय पदानुक्रम}}


एक सूत्र को परिबद्ध अंकगणित या Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> कहा जाता है, जब इसके सभी परिमाणक ∀n<t या ∃n<t के रूप के होते हैं (जहाँ n व्यक्तिगत चर की मात्रा निर्धारित की जा रही है, और t एक व्यक्तिगत पद है), जहाँ
एक सूत्र को परिबद्ध अंकगणित या Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> कहा जाता है, जब इसके सभी परिमाणक ∀n<t या ∃n<t के रूप के होते हैं (जहाँ n इंडिविजुअल चर की मात्रा निर्धारित की जा रही है, और t एक इंडिविजुअल पद है), जहाँ
:<math>\forall n<t(\cdots)</math>
:<math>\forall n<t(\cdots)</math>
के लिए खड़ा है
के लिए खड़ा है
Line 110: Line 110:
:<math>\exists n(n<t \land \cdots)</math>.
:<math>\exists n(n<t \land \cdots)</math>.


एक सूत्र को क्रमशः Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> (या कभी-कभी Π1) कहा जाता है, जब यह क्रमशः ∃mφ के रूप का होता है, क्रमशः ∀mφ जहां φ एक घिरा हुआ अंकगणितीय सूत्र है, और m एक व्यक्तिगत चर है (जो कि φ में मुफ़्त है)। अधिक सामान्यतः, एक सूत्र को क्रमशः Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub>, Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub> कहा जाता है, जब इसे क्रमशः Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n−1</sub>, क्रमशः Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n−1</sub> सूत्र (और Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> और Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> दोनों Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> के समतुल्य हैं) में अस्तित्वगत, क्रमशः सार्वभौमिक, व्यक्तिगत क्वांटिफायर जोड़कर प्राप्त किया जाता है। निर्माण के अनुसार, ये सभी सूत्र अंकगणितीय हैं, (कोई भी वर्ग चर कभी भी बाध्य नहीं होता है) और, वास्तव में, सूत्र को स्कोलेम प्रीनेक्स फॉर्म में डालकर कोई यह देख सकता है, कि प्रत्येक अंकगणितीय सूत्र तार्किक रूप से सभी बड़े पर्याप्त n के लिए Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub> या Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub> सूत्र के समतुल्य है।
एक सूत्र को क्रमशः Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> (या कभी-कभी Π1) कहा जाता है, जब यह क्रमशः ∃mφ के रूप का होता है, क्रमशः ∀mφ जहां φ एक घिरा हुआ अंकगणितीय सूत्र है, और m एक इंडिविजुअल चर है (जो कि φ में मुफ़्त है)। अधिक सामान्यतः, एक सूत्र को क्रमशः Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub>, Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub> कहा जाता है, जब इसे क्रमशः Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n−1</sub>, क्रमशः Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n−1</sub> सूत्र (और Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> और Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> दोनों Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> के समतुल्य हैं) में अस्तित्वगत, क्रमशः सार्वभौमिक, इंडिविजुअल क्वांटिफायर जोड़कर प्राप्त किया जाता है। निर्माण के अनुसार, ये सभी सूत्र अंकगणितीय हैं, (कोई भी वर्ग चर कभी भी बाध्य नहीं होता है) और, वास्तव में, सूत्र को स्कोलेम प्रीनेक्स फॉर्म में डालकर कोई यह देख सकता है, कि प्रत्येक अंकगणितीय सूत्र तार्किक रूप से सभी बड़े पर्याप्त n के लिए Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub> या Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >n</sub> सूत्र के समतुल्य है।


===पुनरावर्ती समझ===
===पुनरावर्ती समझ===
सबसिस्टम RCA<sub>0</sub> ए.सी.ए<sub>0</sub> की तुलना में एक कमजोर प्रणाली है, और इसे अधिकांशतः रिवर्स गणित में आधार प्रणाली के रूप में उपयोग किया जाता है। इसमें सम्मिलित करना हैं, मूल सिद्धांत, Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> प्रेरण योजना, और Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> समझ योजना, पूर्व शब्द स्पष्ट है, Σ प्रेरण योजना प्रत्येक Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> सूत्र φ के लिए प्रेरण सिद्धांत है। शब्द Δ<sup>0</sup><sub style= मार्जिन-बाएँ:-0.65em >1</sub> समझ" अधिक समिश्रय है, क्योंकि Δ<sup>0</sup><sub style="मार्जिन-बाएँ:-0.65em">1</sub> सूत्र जैसी कोई चीज़ नहीं है। इसके अतिरिक्त Δ<sup>0</sup><sub style="मार्जिन-बाएँ:-0.65em">1</sub> समझ योजना प्रत्येक Σ<sup>0</sup><sub style="मार्जिन-लेफ्ट:-0.65em">1</sub> सूत्र के लिए समझ सिद्धांत पर जोर देती है, जो तार्किक रूप से Π<sup>0</sup><sub style="मार्जिन-लेफ्ट:-0.65em">1</sub> सूत्र के समतुल्य है। इस योजना में प्रत्येक Σ<sup>0</sup><sub style="मार्जिन-लेफ्ट:-0.65em">1</sub> सूत्र φ और प्रत्येक Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> सूत्र ψ के लिए अभिगृहीत सम्मिलित करना है।
सबसिस्टम RCA<sub>0</sub> ए.सी.ए<sub>0</sub> की तुलना में एक अस्थिर प्रणाली है, और इसे अधिकांशतः रिवर्स गणित में आधार प्रणाली के रूप में उपयोग किया जाता है। इसमें सम्मिलित करना हैं, मूल सिद्धांत, Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> प्रेरण योजना, और Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> समझ योजना, पूर्व शब्द स्पष्ट है, Σ प्रेरण योजना प्रत्येक Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> सूत्र φ के लिए प्रेरण सिद्धांत है। शब्द Δ<sup>0</sup><sub style= मार्जिन-बाएँ:-0.65em >1</sub> समझ" अधिक समिश्रय है, क्योंकि Δ<sup>0</sup><sub style="मार्जिन-बाएँ:-0.65em">1</sub> सूत्र जैसी कोई चीज़ नहीं है। इसके अतिरिक्त Δ<sup>0</sup><sub style="मार्जिन-बाएँ:-0.65em">1</sub> समझ योजना प्रत्येक Σ<sup>0</sup><sub style="मार्जिन-लेफ्ट:-0.65em">1</sub> सूत्र के लिए समझ सिद्धांत पर जोर देती है, जो तार्किक रूप से Π<sup>0</sup><sub style="मार्जिन-लेफ्ट:-0.65em">1</sub> सूत्र के समतुल्य है। इस योजना में प्रत्येक Σ<sup>0</sup><sub style="मार्जिन-लेफ्ट:-0.65em">1</sub> सूत्र φ और प्रत्येक Π<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> सूत्र ψ के लिए अभिगृहीत सम्मिलित करना है।


:<math>\forall m \forall X ((\forall n (\varphi(n) \leftrightarrow \psi(n))) \rightarrow \exists Z \forall n (n\in Z \leftrightarrow \varphi(n)))</math>
:<math>\forall m \forall X ((\forall n (\varphi(n) \leftrightarrow \psi(n))) \rightarrow \exists Z \forall n (n\in Z \leftrightarrow \varphi(n)))</math>
RCA<sub>0</sub> के प्रथम-क्रम परिणामों का समुच्चय पीनो अंकगणित के सबसिस्टम IΣ1 के समान है, जिसमें प्रेरण Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> सूत्रों तक सीमित है। बदले में, IΣ1 आदिम पुनरावर्ती अंकगणित (पीआरए) पर रूढ़िवादी है, <math>\Pi^0_2</math> इसके अतिरिक्त, प्रमाण-सैद्धांतिक क्रम RCA<sub>0</sub> <sub>ω</sub> ω है, जो पीआरए के समान है।
RCA<sub>0</sub> के प्रथम-क्रम परिणामों का समूह पीनो अंकगणित के सबसिस्टम IΣ1 के समान है, जिसमें प्रेरण Σ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> सूत्रों तक सीमित है। बदले में, IΣ1 आदिम पुनरावर्ती अंकगणित (पीआरए) पर रूढ़िवादी है, <math>\Pi^0_2</math> इसके अतिरिक्त, प्रमाण-सैद्धांतिक क्रम RCA<sub>0</sub> <sub>ω</sub> ω है, जो पीआरए के समान है।


यह देखा जा सकता है, कि ω के सबसमुच्चय का एक संग्रह एस RCA<sub>0</sub> का एक ω-मॉडल निर्धारित करता है, यदि और मात्र यदि एस ट्यूरिंग रिड्यूसिबिलिटी और ट्यूरिंग जॉइन के अनुसार संवृत्त है। विशेष रूप से, ω के सभी गणना योग्य उपसमुच्चय का संग्रह RCA<sub>0</sub> का ω-मॉडल देता है। इस प्रणाली के नाम के पीछे यही प्रेरणा है, यदि RCA<sub>0</sub> का उपयोग करके किसी समुच्चय का अस्तित्व सिद्ध किया जा सकता है, तो समुच्चय पुनरावर्ती (अर्थात गणना योग्य) है।
यह देखा जा सकता है, कि ω के सबसमूह का एक संग्रह एस RCA<sub>0</sub> का एक ω-मॉडल निर्धारित करता है, यदि और मात्र यदि एस ट्यूरिंग रिड्यूसिबिलिटी और ट्यूरिंग जॉइन के अनुसार संवृत्त है। विशेष रूप से, ω के सभी गणना योग्य उपसमूह का संग्रह RCA<sub>0</sub> का ω-मॉडल देता है। इस प्रणाली के नाम के पीछे यही प्रेरणा है, यदि RCA<sub>0</sub> का उपयोग करके किसी समूह का अस्तित्व सिद्ध किया जा सकता है, तो समूह पुनरावर्ती (अर्थात गणना योग्य) है।


=== कमजोर सिस्टम ===
=== अस्थिर सिस्टम ===
कभी-कभी RCA<sub>0</sub> से भी कमजोर प्रणाली वांछित होती है। ऐसी एक प्रणाली को इस प्रकार परिभाषित किया गया है। किसी को पहले अंकगणित की भाषा को एक घातीय फलन प्रतीक के साथ बढ़ाना होगा (मजबूत प्रणालियों में घातांक को सामान्य चाल द्वारा जोड़ और गुणा के संदर्भ में परिभाषित किया जा सकता है, लेकिन जब प्रणाली बहुत कमजोर हो जाती है, तो यह संभव नहीं है) और स्पष्ट स्वयंसिद्धों द्वारा मूल सिद्धांतों को गुणन से प्रेरक रूप से घातांक को परिभाषित करना होगा; तब सिस्टम में (समृद्ध) बुनियादी सिद्धांत, प्लस Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> समझ, प्लस Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> प्रेरण सम्मिलित करना होते हैं।
कभी-कभी RCA<sub>0</sub> से भी अस्थिर प्रणाली वांछित होती है। ऐसी एक प्रणाली को इस प्रकार परिभाषित किया गया है। किसी को पहले अंकगणित की भाषा को एक घातीय फ़ंक्शन प्रतीक के साथ बढ़ाना होगा (मजबूत प्रणालियों में घातांक को सामान्य चाल द्वारा जोड़ और गुणा के संदर्भ में परिभाषित किया जा सकता है, लेकिन जब प्रणाली बहुत अस्थिर हो जाती है, तो यह संभव नहीं है) और स्पष्ट स्वयंसिद्धों द्वारा मूल सिद्धांतों को गुणन से प्रेरक रूप से घातांक को परिभाषित करना होगा; तब सिस्टम में (समृद्ध) बुनियादी सिद्धांत, प्लस Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub> समझ, प्लस Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >0</sub> प्रेरण सम्मिलित करना होते हैं।


===मजबूत सिस्टम===
===मजबूत सिस्टम===


RCA<sub>0</sub> पर, दूसरे क्रम के अंकगणित का प्रत्येक सूत्र सभी बड़े पर्याप्त n के लिए Σ<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >n</sub> या Π<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >n</sub> सूत्र के समतुल्य है। प्रणाली Π<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >1</sub>-समझ एक ऐसी प्रणाली है, जिसमें बुनियादी सिद्धांतों के साथ-साथ सामान्य दूसरे क्रम के प्रेरण सिद्धांत और प्रत्येक (बोल्डफेस<ref>[[Philip Welch|P. D. Welch]], [https://people.maths.bris.ac.uk/~mapdw/det17.pdf "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions"] (2010 draft ver., p. 3). Accessed 31 July 2022.</ref>) Π<sup>1</sup><sub style="मार्जिन-लेफ्ट:-0.6em">n</sub> सूत्र φ के लिए समझ सिद्धांत सम्मिलित करना है। यह Σ<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >1</sub>-समझदारी के समतुल्य है (दूसरी ओर, Δ<sup>1</sup><sub style="मार्जिन-लेफ्ट:-0.6em">1</sub>-समझदारी, जिसे Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub>-समझदारी के अनुरूप परिभाषित किया गया है, कमजोर है)।
RCA<sub>0</sub> पर, दूसरे क्रम के अंकगणित का प्रत्येक सूत्र सभी बड़े पर्याप्त n के लिए Σ<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >n</sub> या Π<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >n</sub> सूत्र के समतुल्य है। प्रणाली Π<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >1</sub>-समझ एक ऐसी प्रणाली है, जिसमें बुनियादी सिद्धांतों के साथ-साथ सामान्य दूसरे क्रम के प्रेरण सिद्धांत और प्रत्येक (बोल्डफेस<ref>[[Philip Welch|P. D. Welch]], [https://people.maths.bris.ac.uk/~mapdw/det17.pdf "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions"] (2010 draft ver., p. 3). Accessed 31 July 2022.</ref>) Π<sup>1</sup><sub style="मार्जिन-लेफ्ट:-0.6em">n</sub> सूत्र φ के लिए समझ सिद्धांत सम्मिलित करना है। यह Σ<sup>1</sup><sub style= मार्जिन-लेफ्ट:-0.6em >1</sub>-समझदारी के समतुल्य है (दूसरी ओर, Δ<sup>1</sup><sub style="मार्जिन-लेफ्ट:-0.6em">1</sub>-समझदारी, जिसे Δ<sup>0</sup><sub style= मार्जिन-लेफ्ट:-0.65em >1</sub>-समझदारी के अनुरूप परिभाषित किया गया है, अस्थिर है)।


== प्रक्षेप्य नियति ==
== प्रक्षेप्य नियति ==
{{Main|प्रोजेक्टिव डिटर्मिनेसी का सिद्धांत}}
{{Main|प्रोजेक्टिव डिटर्मिनेसी का सिद्धांत}}
[[प्रक्षेप्य निर्धारण]] यह प्रमाणित है, कि प्रत्येक दो-प्लेयर की चालों के साथ पूर्ण जानकारी वाला खेल प्राकृतिक संख्या, खेल की लंबाई ω और [[प्रक्षेप्य सेट|प्रक्षेप्य समुच्चय]] पेऑफ़ समुच्चय निर्धारित होता है, अर्थात, खिलाड़ियों में से एक के पास जीतने की रणनीति होती है। (यदि खेल पेऑफ़ समुच्चय से संबंधित है तो पहला खिलाड़ी खेल जीतता है, अन्यथा, दूसरा खिलाड़ी जीतता है।) एक समुच्चय प्रक्षेप्य होता है, यदि और मात्र यदि (एक विधेय के रूप में) यह दूसरे क्रम के अंकगणित की भाषा में एक सूत्र द्वारा व्यक्त किया जा सकता है, वास्तविक संख्याओं को पैरामीटर के रूप में अनुमति देता है, इसलिए प्रक्षेप्य निर्धारण Z<sub>2</sub> की भाषा में एक स्कीमा के रूप में व्यक्त किया जा सकता है।
[[प्रक्षेप्य निर्धारण]] यह प्रमाणित है, कि प्रत्येक दो-प्लेयर की चालों के साथ पूर्ण जानकारी वाला खेल प्राकृतिक संख्या, खेल की लंबाई ω और [[प्रक्षेप्य सेट|प्रक्षेप्य समूह]] पेऑफ़ समूह निर्धारित होता है, अर्थात, खिलाड़ियों में से एक के पास जीतने की रणनीति होती है। (यदि खेल पेऑफ़ समूह से रिलेशनित है तो पहला खिलाड़ी खेल जीतता है, अन्यथा, दूसरा खिलाड़ी जीतता है।) एक समूह प्रक्षेप्य होता है, यदि और मात्र यदि (एक विधेय के रूप में) यह दूसरे क्रम के अंकगणित की भाषा में एक सूत्र द्वारा व्यक्त किया जा सकता है, वास्तविक संख्याओं को पैरामीटर के रूप में अनुमति देता है, इसलिए प्रक्षेप्य निर्धारण Z<sub>2</sub> की भाषा में एक स्कीमा के रूप में व्यक्त किया जा सकता है।


दूसरे क्रम के अंकगणित की भाषा में व्यक्त किए जाने वाले कई प्राकृतिक प्रस्ताव Z<sub>2</sub> और यहां तक कि [[ZFC|जेडएफसी]] से स्वतंत्र हैं, लेकिन प्रक्षेप्य निर्धारण से सिद्ध करने योग्य हैं। उदाहरणों में सह-विश्लेषणात्मक पूर्ण उपसमुच्चय संपत्ति, मापनीयता और बेयर की संपत्ति सम्मिलित करना है, <math>\Sigma^1_2</math> समुच्चय, <math>\Pi^1_3</math> एकरूपता, आदि होता है, एक कमजोर आधार सिद्धांत (जैसे कि RCA<sub>0</sub>) पर, प्रक्षेप्य निर्धारण का तात्पर्य समझ से है, और दूसरे क्रम के अंकगणित का एक अनिवार्य रूप से पूर्ण सिद्धांत प्रदान करता है, Z<sub>2</sub> की भाषा में प्राकृतिक कथन जो प्रक्षेप्य निर्धारण के साथ Z<sub>2</sub> से स्वतंत्र हैं, उन्हें ढूंढना कठिन है।<ref>{{cite journal|author=Woodin, W. H.|authorlink=W. Hugh Woodin|year=2001|title=सातत्य परिकल्पना, भाग I|journal=[[Notices of the American Mathematical Society]]|volume=48|issue=6}}</ref>
दूसरे क्रम के अंकगणित की भाषा में व्यक्त किए जाने वाले कई प्राकृतिक प्रस्ताव Z<sub>2</sub> और यहां तक कि [[ZFC|जेडएफसी]] से स्वतंत्र हैं, लेकिन प्रक्षेप्य निर्धारण से सिद्ध करने योग्य हैं। उदाहरणों में सह-विश्लेषणात्मक पूर्ण उपसमूह संपत्ति, मापनीयता और बेयर की संपत्ति सम्मिलित करना है, <math>\Sigma^1_2</math> समूह, <math>\Pi^1_3</math> एकरूपता, आदि होता है, एक अस्थिर आधार सिद्धांत (जैसे कि RCA<sub>0</sub>) पर, प्रक्षेप्य निर्धारण का तात्पर्य समझ से है, और दूसरे क्रम के अंकगणित का एक अनिवार्य रूप से पूर्ण सिद्धांत प्रदान करता है, Z<sub>2</sub> की भाषा में प्राकृतिक कथन जो प्रक्षेप्य निर्धारण के साथ Z<sub>2</sub> से स्वतंत्र हैं, उन्हें ढूंढना कठिन है।<ref>{{cite journal|author=Woodin, W. H.|authorlink=W. Hugh Woodin|year=2001|title=सातत्य परिकल्पना, भाग I|journal=[[Notices of the American Mathematical Society]]|volume=48|issue=6}}</ref>


ZFC + {वहां n [[वुडिन कार्डिनल]] हैं: n एक प्राकृतिक संख्या है} प्रक्षेप्य निर्धारण के साथ Z<sub>2</sub> पर रूढ़िवादी है, [उद्धरण वांछित], अर्थात दूसरे क्रम के अंकगणित की भाषा में एक बयान प्रक्षेप्य निर्धारण के साथ Z<sub>2</sub> में सिद्ध हो सकता है, यदि और मात्र यदि समुच्चय सिद्धांत की भाषा में इसका अनुवाद ZFC + में सिद्ध हो सकता है {n वुडिन कार्डिनल हैं: n∈N}।
ZFC + {वहां n [[वुडिन कार्डिनल]] हैं: n एक प्राकृतिक संख्या है} प्रक्षेप्य निर्धारण के साथ Z<sub>2</sub> पर रूढ़िवादी है, [उद्धरण वांछित], अर्थात दूसरे क्रम के अंकगणित की भाषा में एक बयान प्रक्षेप्य निर्धारण के साथ Z<sub>2</sub> में सिद्ध हो सकता है, यदि और मात्र यदि समूह सिद्धांत की भाषा में इसका अनुवाद ZFC + में सिद्ध हो सकता है {n वुडिन कार्डिनल हैं: n∈N}।


==कोडिंग गणित==
==कोडिंग गणित==


दूसरे क्रम का अंकगणित सीधे प्राकृतिक संख्याओं और प्राकृतिक संख्याओं के समुच्चय को औपचारिक बनाता है। चूंकि, यह कोडिंग तकनीकों के माध्यम से अप्रत्यक्ष रूप से अन्य गणितीय वस्तुओं को औपचारिक रूप देने में सक्षम है, एक तथ्य जिसे सबसे पहले [[हरमन वेइल]] ने देखा था (सिम्पसन 2009, पृष्ठ 16)। [[पूर्णांक]], [[तर्कसंगत संख्या]] और वास्तविक संख्याएं सभी को उपप्रणाली RCA<sub>0</sub> में औपचारिक रूप दिया जा सकता है, साथ ही उनके बीच पूर्ण वियोज्य मीट्रिक रिक्त स्थान और निरंतर कार्यों (सिम्पसन 2009, अध्याय II) के साथ है।
दूसरे क्रम का अंकगणित सीधे प्राकृतिक संख्याओं और प्राकृतिक संख्याओं के समूह को औपचारिक बनाता है। चूंकि, यह कोडिंग तकनीकों के माध्यम से अप्रत्यक्ष रूप से अन्य गणितीय वस्तुओं को औपचारिक रूप देने में सक्षम है, एक तथ्य जिसे सबसे पहले [[हरमन वेइल]] ने देखा था (सिम्पसन 2009, पृष्ठ 16)। [[पूर्णांक]], [[तर्कसंगत संख्या]] और वास्तविक संख्याएं सभी को उपप्रणाली RCA<sub>0</sub> में औपचारिक रूप दिया जा सकता है, साथ ही उनके बीच पूर्ण वियोज्य मीट्रिक रिक्त स्थान और निरंतर कार्यों (सिम्पसन 2009, अध्याय II) के साथ है।


रिवर्स गणित का अनुसंधान कार्यक्रम गणितीय प्रमेयों को सिद्ध करने के लिए आवश्यक समुच्चय-अस्तित्व सिद्धांतों का अध्ययन करने के लिए दूसरे क्रम के अंकगणित में गणित की इन औपचारिकताओं का उपयोग करता है (सिम्पसन 2009, पृष्ठ 32)। उदाहरण के लिए, वास्तविक से वास्तविक तक के कार्यों के लिए [[मध्यवर्ती मूल्य प्रमेय]] RCA<sub>0</sub> (सिम्पसन 2009, पृष्ठ 87) में सिद्ध है, जबकि बोल्ज़ानो-वीयरस्ट्रैस प्रमेय RCA<sub>0</sub> (सिम्पसन 2009, पृष्ठ 34) के मुकाबले RCA<sub>0</sub> के समतुल्य है।
रिवर्स गणित का अनुसंधान कार्यक्रम गणितीय प्रमेयों को सिद्ध करने के लिए आवश्यक समूह-अस्तित्व सिद्धांतों का अध्ययन करने के लिए दूसरे क्रम के अंकगणित में गणित की इन औपचारिकताओं का उपयोग करता है (सिम्पसन 2009, पृष्ठ 32)। उदाहरण के लिए, वास्तविक से वास्तविक तक के कार्यों के लिए [[मध्यवर्ती मूल्य प्रमेय]] RCA<sub>0</sub> (सिम्पसन 2009, पृष्ठ 87) में सिद्ध है, जबकि बोल्ज़ानो-वीयरस्ट्रैस प्रमेय RCA<sub>0</sub> (सिम्पसन 2009, पृष्ठ 34) के मुकाबले RCA<sub>0</sub> के समतुल्य है।


उपरोक्त कोडिंग निरंतर और कुल कार्यों के लिए अच्छी प्रकार से काम करती है, जैसा कि (कोहलेनबैक 2002, धारा 4) में दिखाया गया है, एक उच्च-क्रम आधार सिद्धांत और कमजोर कोनिग लेम्मा को मानते है। जैसा कि संभवतः अपेक्षित था, [[टोपोलॉजी]] या [[माप सिद्धांत]] के स्थितियाँ में, कोडिंग समस्याओं के बिना नहीं है, जैसा कि उदाहरण में पता लगाया गया है। (हंटर, 2008) या (नॉर्मन एंड सैंडर्स, 2019)।<ref>{{cite arXiv|author1=[[Dag Normann]]|author2=Sam Sanders|title=माप सिद्धांत में प्रतिनिधित्व|eprint=1902.02756|year=2019|class=math.LO }}</ref> चूंकि, यहां तक कि [[रीमैन अभिन्न]] फ़ंक्शंस को कोड करने से भी समस्याएं उत्पन्न होती हैं, जैसा कि (नॉर्मन एंड सैंडर्स, 2020) में दिखाया गया है, रीमैन इंटीग्रल के लिए आर्ज़ेला के अभिसरण प्रमेय को सिद्ध करने के लिए आवश्यक न्यूनतम (समझ) सिद्धांत बहुत भिन्न हैं, यह इस बात पर निर्भर करता है, कि कोई दूसरे-क्रम कोड या तीसरे-क्रम फ़ंक्शंस का उपयोग करता है, या नहीं करता है।<ref>{{cite arXiv|author1=Dag Normann|author2=Sam Sanders|title=On the uncountability of <math>\mathbb{R}</math>| eprint=2007.07560|year=2020|pages=37|class=math.LO }}</ref>
उपरोक्त कोडिंग निरंतर और कुल कार्यों के लिए अच्छी प्रकार से काम करती है, जैसा कि (कोहलेनबैक 2002, धारा 4) में दिखाया गया है, एक उच्च-क्रम आधार सिद्धांत और अस्थिर कोनिग लेम्मा को मानते है। जैसा कि संभवतः अपेक्षित था, [[टोपोलॉजी]] या [[माप सिद्धांत]] के स्थितियाँ में, कोडिंग समस्याओं के बिना नहीं है, जैसा कि उदाहरण में पता लगाया गया है। (हंटर, 2008) या (नॉर्मन एंड सैंडर्स, 2019)।<ref>{{cite arXiv|author1=[[Dag Normann]]|author2=Sam Sanders|title=माप सिद्धांत में प्रतिनिधित्व|eprint=1902.02756|year=2019|class=math.LO }}</ref> चूंकि, यहां तक कि [[रीमैन अभिन्न]] फ़ंक्शंस को कोड करने से भी समस्याएं उत्पन्न होती हैं, जैसा कि (नॉर्मन एंड सैंडर्स, 2020) में दिखाया गया है, रीमैन इंटीग्रल के लिए आर्ज़ेला के अभिसरण प्रमेय को सिद्ध करने के लिए आवश्यक न्यूनतम (समझ) सिद्धांत बहुत भिन्न हैं, यह इस बात पर निर्भर करता है, कि कोई दूसरे-क्रम कोड या तीसरे-क्रम फ़ंक्शंस का उपयोग करता है, या नहीं करता है।<ref>{{cite arXiv|author1=Dag Normann|author2=Sam Sanders|title=On the uncountability of <math>\mathbb{R}</math>| eprint=2007.07560|year=2020|pages=37|class=math.LO }}</ref>
==यह भी देखें==
==यह भी देखें==
*पेरिस-हैरिंगटन प्रमेय
*पेरिस-हैरिंगटन प्रमेय

Revision as of 23:37, 25 July 2023

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

दूसरे क्रम के अंकगणित का अग्रदूत जिसमें तीसरे क्रम के पैरामीटर सम्मिलित हैं, डेविड हिल्बर्ट और पॉल बर्नीस ने अपनी पुस्तक ग्रुंडलाजेन डेर मैथेमेटिक में प्रस्तुत किया था। दूसरे क्रम के अंकगणित के मानक स्वयंसिद्धीकरण को Z2 द्वारा दर्शाया गया है।

दूसरे क्रम के अंकगणित में इसके पहले क्रम के समकक्ष पीनो अंकगणित सम्मिलित है, लेकिन यह उससे अधिक मजबूत है। पीनो अंकगणित के विपरीत, दूसरे क्रम का अंकगणित प्राकृतिक संख्याओं के समूह के साथ-साथ स्वयं संख्याओं के परिमाणीकरण की अनुमति देता है। क्योंकि वास्तविक संख्याओं को प्रसिद्ध विधियों से प्राकृतिक संख्याओं (अनंत ) के रूप में दर्शाया जा सकता है, और क्योंकि दूसरे क्रम का अंकगणित ऐसे समूहो पर परिमाणी करण की अनुमति देता है, इसलिए दूसरे क्रम के अंकगणित में वास्तविक संख्याओं को औपचारिक रूप देना संभव है। इस कारण से, दूसरे क्रम के अंकगणित को कभी-कभी "विश्लेषण" कहा जाता है।[1]

दूसरे-क्रम अंकगणित को समूह सिद्धांत के एक अस्थिर संस्करण के रूप में भी देखा जा सकता है जिसमें प्रत्येक तत्व या तो एक प्राकृतिक संख्या या प्राकृतिक संख्याओं का एक समूह है। यद्यपि यह ज़ेर्मेलो-फ्रांकेल समूह सिद्धांत की बहुत अस्थिर है, दूसरे क्रम का अंकगणित अनिवार्य रूप से शास्त्रीय गणित के सभी परिणामों को अपनी भाषा में व्यक्त कर सकता है।

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

परिभाषा

सिंटेक्स

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

इंडिविजुअल पद स्थिरांक 0, यूनरी फ़ंक्शन एस (उत्तराधिकारी फ़ंक्शन ), और बाइनरी ऑपरेशन + और से बनते हैं, . (जोड़ और गुणा) उत्तराधिकारी फ़ंक्शन अपने इनपुट में 1 जोड़ता है। रिलेशन = (समानता) और < (प्राकृतिक संख्याओं की तुलना) दो इंडिविजुअल से रिलेशनित हैं, जबकि रिलेशन ∈ (सदस्यता) एक इंडिविजुअल और एक समूह (या वर्ग) से रिलेशनित है। इस प्रकार अंकन में दूसरे क्रम के अंकगणित की भाषा हस्ताक्षर द्वारा दी जाती है।

उदाहरण के लिए, दूसरे क्रम के अंकगणित का एक सुव्यवस्थित सूत्र है, जो अंकगणितीय है, इसमें एक मुक्त समूह चर

एक सुगठित सूत्र है, जो अंकगणितीय नहीं है, जिसमें एक बाध्य समूह चर X और एक बाध्य इंडिविजुअल चर n है।

शब्दार्थ

परिमाण कों की कई भिन्न-भिन्न व्याख्याएँ संभव हैं। यदि दूसरे क्रम के तर्क के पूर्ण शब्दार्थ का उपयोग करके दूसरे क्रम के अंकगणित का अध्ययन किया जाता है, तो समूह क्वांटिफायर इंडिविजुअल चर की सीमा के सभी सबसमूह होते हैं। यदि दूसरे क्रम के अंकगणित को प्रथम-क्रम तर्क (हेनकिन शब्दार्थ) के शब्दार्थ का उपयोग करके औपचारिक रूप दिया जाता है, तो किसी भी मॉडल में समूह चर के लिए एक डोमेन सम्मिलित करना होता है, और यह डोमेन इंडिविजुअल चर के डोमेन के पूर्ण पॉवरसमूह का (शापिरो 1991, पीपी 74-75) एक उचित उपसमूह हो सकता है।

अभिगृहीत

बेसिक

निम्नलिखित स्वयंसिद्धों को मूल स्वयंसिद्धों या कभी-कभी रॉबिन्सन स्वयंसिद्धों के रूप में जाना जाता है। परिणामी प्रथम-क्रम सिद्धांत, जिसे रॉबिन्सन अंकगणित के रूप में जाना जाता है, अनिवार्य रूप से प्रेरण के बिना पीनो अंकगणित है। परिमाणित चरों के लिए प्रवचन का क्षेत्र प्राकृतिक संख्याएँ हैं, जिन्हें सामूहिक रूप से N द्वारा दर्शाया जाता है, और विशिष्ट सदस्य भी सम्मिलित करना हैं 0, जिसे "शून्य" कहा जाता है।

आदिम फ़ंक्शन एकात्मक उत्तराधिकारी फ़ंक्शन हैं, जो उपसर्ग द्वारा निरूपित होते हैं, एस, और दो बाइनरी ऑपरेशन, जोड़ और गुणा, इन्फ़िक्स ऑपरेटर "+" और "द्वारा दर्शाया गया है। . क्रमशः ऑर्डर नामक एक आदिम बाइनरी रिलेशन भी है, जिसे इन्फ़िक्स ऑपरेटर "<" द्वारा दर्शाया गया है।

उत्तराधिकारी फ़ंक्शन और शून्य को नियंत्रित करने वाले सिद्धांत:

1. (प्राकृतिक संख्या का उत्तराधिकारी कभी शून्य नहीं होता है।)
2. (उत्तराधिकारी फ़ंक्शन इंजेक्टिव है।)
3. (प्रत्येक प्राकृतिक संख्या शून्य या उत्तराधिकारी होती है।)

जोड़ पुनरावर्ती रूप से परिभाषित:

4.
5.

गुणन को पुनरावर्ती रूप से परिभाषित किया गया:

6.
7.

आदेश रिलेशन "<" को नियंत्रित करने वाले अभिगृहीत:

8. (कोई भी प्राकृत संख्या शून्य से छोटी नहीं होती है।)
9.
10. (प्रत्येक प्राकृतिक संख्या शून्य या शून्य से बड़ी होती है।)
11

ये सभी स्वयंसिद्ध कथन प्रथम-क्रम के कथन हैं। अर्थात्, सभी चर प्राकृतिक संख्याओं पर आधारित में होते हैं, न कि उनके समूहों के, यह तथ्य उनके अंकगणितीय होने से भी अधिक मजबूत है। इसके अतिरिक्त, अभिगृहीत 3 में मात्र एक अस्तित्वगत परिमाणक है। अभिगृहीत 1 और 2, प्रेरण के एक अभिगृहीत स्कीमा के साथ मिलकर एन की सामान्य पीनो-डेडेकाइंड परिभाषा बनाते हैं। इन अभिगृहीतों में प्रेरण के किसी भी प्रकार के अभिगृहीत स्कीमा को जोड़ने से अभिगृहीत 3, 10, और 11 निरर्थक हो जाते हैं।

प्रेरण और समझ स्कीमा

यदि φ(n) एक मुक्त इंडिविजुअल चर n और संभवतः अन्य मुक्त इंडिविजुअल या समूह चर (लिखित m1,...,mk and X1,...,Xl) के साथ दूसरे क्रम के अंकगणित का एक सूत्र है, तो φ के लिए प्रेरण स्वयंसिद्ध करना होता है।

(पूर्ण) दूसरे क्रम की प्रेरण योजना में सभी दूसरे क्रम के सूत्रों पर, इस स्वयंसिद्ध के सभी उदाहरण सम्मिलित करना हैं।

प्रेरण योजना का एक विशेष रूप से महत्वपूर्ण उदाहरण है, जब φ सूत्र है इस तथ्य को व्यक्त करता है, कि n, X का एक सदस्य है (X एक मुक्त समूह चर है)। इस स्थितियाँ में, φ के लिए प्रेरण स्वयंसिद्ध करना होता है।

इस वाक्य को द्वितीय-क्रम प्रेरण स्वयंसिद्ध कहा जाता है।

यदि φ(n) एक मुक्त चर n और संभवतः अन्य मुक्त चर के साथ एक सूत्र है, लेकिन चर Z नहीं है, तो φ के लिए समझ स्वयंसिद्ध सूत्र है।

यह स्वयंसिद्ध समूह बनाना संभव बनाता है, φ(n) को संतुष्ट करने वाली प्राकृतिक संख्याओं का एक तकनीकी प्रतिबंध है, कि सूत्र φ में चर Z सम्मिलित करना नहीं हो सकता है, अन्यथा सूत्र के लिए समझ के सिद्धांत की ओर ले जाएगा

,

जो असंगत है, इस सम्मेलन को इस लेख के शेष भाग में माना गया है।

पूरा सिस्टम

दूसरे क्रम के अंकगणित के औपचारिक सिद्धांत (दूसरे क्रम के अंकगणित की भाषा में) में मूल स्वयंसिद्ध, प्रत्येक सूत्र φ (अंकगणित या अन्यथा) के लिए समझ स्वयंसिद्ध और दूसरे क्रम प्रेरण स्वयंसिद्ध सम्मिलित करना हैं। इस सिद्धांत को नीचे परिभाषित इसकी उपप्रणालियों से भिन्न करने के लिए कभी-कभी पूर्ण द्वितीय-क्रम अंकगणित भी कहा जाता है। चूँकि पूर्ण दूसरे क्रम के शब्दार्थ का अर्थ यह है, कि हर संभव समूह उपस्थित है, जब पूर्ण दूसरे क्रम के शब्दार्थ को नियोजित किया जाता है, तो समझ के सिद्धांतों को निगमनात्मक प्रणाली का भाग माना जा सकता है (शापिरो 1991, पृष्ठ 66)।

मॉडल

यह खंड प्रथम-क्रम के शब्दार्थ के साथ दूसरे-क्रम के अंकगणित का वर्णन करता है। इस प्रकार एक मॉडल दूसरे क्रम की अंकगणित की भाषा में एक समूह एम (जो भिन्न-भिन्न चर की श्रेणी बनाता है) के साथ एक स्थिरांक 0 (एम का एक तत्व), एम से एम तक एक फ़ंक्शन एस, दो बाइनरी ऑपरेशन + और · एम पर, एक बाइनरी रिलेशन < पर एम, और एम के उपसमूह का एक संग्रह डी सम्मिलित करना होता है, जो समूह चर की सीमा है। डी को छोड़ने से प्रथम-क्रम अंकगणित की भाषा का एक मॉडल तैयार होता है।

जब डी, मॉडल M का पूर्ण पावरसमूह है, को पूर्ण मॉडल कहा जाता है। पूर्ण दूसरे क्रम के शब्दार्थ का उपयोग दूसरे क्रम के अंकगणित के मॉडल को पूर्ण मॉडल तक सीमित करने के समतुल्य है। वास्तव में, दूसरे क्रम के अंकगणित के सिद्धांतों में मात्र एक पूर्ण मॉडल होता है। यह इस तथ्य से पता चलता है, कि दूसरे क्रम के प्रेरण स्वयंसिद्ध वाले पीनो सिद्धांतों में दूसरे क्रम के शब्दार्थ के अनुसार मात्र एक मॉडल होता है।

परिभाषित कार्य

प्रथम-क्रम के कार्य जो दूसरे क्रम के अंकगणित में कुल फ़ंक्शन सिद्ध होते हैं, वे ठीक वैसे ही होते हैं, जैसे सिस्टम एफ में दर्शाए जा सकते हैं।[2] लगभग समान रूप से, सिस्टम एफ दूसरे क्रम के अंकगणित के अनुरूप कार्यात्मकता का सिद्धांत है, जो गोडेल की प्रणाली टी के समान है जैसे कि गोडेल की प्रणाली टी द्वंद्वात्मक व्याख्या में प्रथम-क्रम अंकगणित से मेल खाती है।

अधिक प्रकार के मॉडल

जब दूसरे क्रम के अंकगणित की भाषा के एक मॉडल में कुछ गुण होते हैं, तो इसे इन अन्य नामों से भी कहा जा सकता है:

  • जब एम अपने सामान्य संचालन के साथ प्राकृतिक संख्याओं का सामान्य समूह है, ω-मॉडल कहा जाता है। इस स्थितियाँ में, मॉडल की पहचान डी से की जा सकती है, जो प्राकृतिक के समूह का संग्रह है, क्योंकि यह समूह पूरी प्रकार से ω-मॉडल निर्धारित करने के लिए पर्याप्त है। अद्वितीय पूर्ण ω-मॉडल, जो अपनी सामान्य संरचना और उसके सभी उपसमूहों के साथ प्राकृतिक संख्याओं का सामान्य समूह है, दूसरे क्रम के अंकगणित का इच्छित या मानक मॉडल कहा जाता है।[3]
  • एक प्रतिमा दूसरे क्रम के अंकगणित की भाषा को β-मॉडल कहा जाता है, यदि अर्थात Σ11-कथन पैरामीटर के साथ जो इससे संतुष्ट हैं, पूर्ण मॉडल से संतुष्ट लोगों के समान हैं।[4] कुछ धारणाएँ जो β-मॉडल के रिलेशन में निरपेक्ष हैं, उनमें सम्मिलित करना हैं, एक अच्छे क्रम को एन्कोड करता है,[5] और एक ट्री है।[4] उपरोक्त परिणाम को βn-मॉडल की अवधारणा तक विस्तारित किया गया है, जिसकी परिभाषा उपरोक्त के समान ही है, द्वारा प्रतिस्थापित किया गया है, अर्थात द्वारा प्रतिस्थापित किया गया है, [4] इस परिभाषा का उपयोग करना β0-मॉडल ω-मॉडल के समान हैं।[6]

उपप्रणाली

दूसरे क्रम के अंकगणित के कई नामित उप-प्रणालियां हैं।

सबसिस्टम के नाम में एक सबस्क्रिप्ट 0 इंगित करता है, कि इसमें पूर्ण द्वितीय-क्रम प्रेरण योजना (फ़्रीडमैन 1976) का मात्र एक प्रतिबंधित भाग सम्मिलित करना है। इस प्रकार का प्रतिबंध सिस्टम की प्रमाण-सैद्धांतिक ताकत को अधिक कम कर देता है। उदाहरण के लिए, नीचे वर्णित प्रणाली RCA 0 पीनो अंकगणित के समतुल्य है। रिलेशनित सिद्धांत एसीए, जिसमें ए.सी.ए0 प्लस पूर्ण द्वितीय-क्रम प्रेरण योजना सम्मिलित करना है, पीनो अंकगणित से अधिक मजबूत है।

अंकगणितीय समझ

अच्छी प्रकार से अध्ययन किए गए कई उपप्रणालियाँ मॉडलों के समापन गुणों से रिलेशनित हैं। उदाहरण के लिए, यह दिखाया जा सकता है, कि पूर्ण दूसरे क्रम के अंकगणित का प्रत्येक ω-मॉडल ट्यूरिंग जंप के अनुसार संवृत्त है, लेकिन ट्यूरिंग जंप के अनुसार संवृत्त किया गया, प्रत्येक ω-मॉडल पूर्ण दूसरे क्रम के अंकगणित का एक मॉडल नहीं है। सबसिस्टम ए.सी.ए0 में ट्यूरिंग जंप के अनुसार संवृत्त होने की धारणा को पकड़ने के लिए पर्याप्त स्वयंसिद्ध सम्मिलित करना हैं।

ए.सी.ए0 को मूल सिद्धांतों, अंकगणितीय समझ स्वयंसिद्ध योजना (दूसरे शब्दों में प्रत्येक अंकगणितीय सूत्र φ के लिए समझ स्वयंसिद्ध) और सामान्य दूसरे क्रम प्रेरण स्वयंसिद्ध से युक्त सिद्धांत के रूप में परिभाषित किया गया है। यह संपूर्ण अंकगणितीय प्रेरण अभिगृहीत योजना को भी सम्मिलित करनाकरने के समतुल्य होगा, दूसरे शब्दों में प्रत्येक अंकगणितीय सूत्र φ के लिए प्रेरण अभिगृहीत को सम्मिलित करना होता है।

यह दिखाया जा सकता है, कि यदि एस को ट्यूरिंग जंप, ट्यूरिंग रिड्यूसिबिलिटी और ट्यूरिंग जॉइन (सिम्पसन 2009, पीपी. 311-313) के अनुसार संवृत्त किया जाता है, तो एस के उपसमूह का एक संग्रह ए.सी.ए0 का एक Q-मॉडल निर्धारित करता है।

ए.सी.ए0 में सबस्क्रिप्ट 00 इंगित करता है, कि इंडक्शन एक्सिओम योजना के प्रत्येक उदाहरण में यह सबसिस्टम सम्मिलित करना नहीं है। इससे ω-मॉडल के लिए कोई फर्क नहीं पड़ता है, जो स्वचालित रूप से प्रेरण सिद्धांत के प्रत्येक उदाहरण को संतुष्ट करता है। चूंकि, गैर-ω-मॉडल के अध्ययन में इसका महत्व है। सभी सूत्रों के लिए ए.सी.ए0 प्लस इंडक्शन से युक्त प्रणाली को कभी-कभी बिना सबस्क्रिप्ट वाला एसीए कहा जाता है।

सिस्टम एसीए0 प्रथम-क्रम अंकगणित (या प्रथम-क्रम पीनो स्वयंसिद्धों) का एक रूढ़िवादी विस्तार है, जिसे मूल स्वयंसिद्धों के रूप में परिभाषित किया गया है, साथ ही प्रथम-क्रम अंकगणित की भाषा में प्रथम-क्रम प्रेरण स्वयंसिद्ध योजना (सभी सूत्रों के लिए φ में कोई भी वर्ग चर सम्मिलित करना नहीं है, बाध्य या अन्यथा)। विशेष रूप से इसमें सीमित प्रेरण स्कीमा के कारण प्रथम-क्रम अंकगणित के समान प्रमाण-सैद्धांतिक क्रमसूचक ε0 है।

सूत्रों के लिए अंकगणितीय पदानुक्रम

एक सूत्र को परिबद्ध अंकगणित या Δ00 कहा जाता है, जब इसके सभी परिमाणक ∀n<t या ∃n<t के रूप के होते हैं (जहाँ n इंडिविजुअल चर की मात्रा निर्धारित की जा रही है, और t एक इंडिविजुअल पद है), जहाँ

के लिए खड़ा है

और

के लिए खड़ा है

.

एक सूत्र को क्रमशः Π01 (या कभी-कभी Π1) कहा जाता है, जब यह क्रमशः ∃mφ के रूप का होता है, क्रमशः ∀mφ जहां φ एक घिरा हुआ अंकगणितीय सूत्र है, और m एक इंडिविजुअल चर है (जो कि φ में मुफ़्त है)। अधिक सामान्यतः, एक सूत्र को क्रमशः Σ0n, Π0n कहा जाता है, जब इसे क्रमशः Π0n−1, क्रमशः Σ0n−1 सूत्र (और Σ00 और Π00 दोनों Δ00 के समतुल्य हैं) में अस्तित्वगत, क्रमशः सार्वभौमिक, इंडिविजुअल क्वांटिफायर जोड़कर प्राप्त किया जाता है। निर्माण के अनुसार, ये सभी सूत्र अंकगणितीय हैं, (कोई भी वर्ग चर कभी भी बाध्य नहीं होता है) और, वास्तव में, सूत्र को स्कोलेम प्रीनेक्स फॉर्म में डालकर कोई यह देख सकता है, कि प्रत्येक अंकगणितीय सूत्र तार्किक रूप से सभी बड़े पर्याप्त n के लिए Σ0n या Π0n सूत्र के समतुल्य है।

पुनरावर्ती समझ

सबसिस्टम RCA0 ए.सी.ए0 की तुलना में एक अस्थिर प्रणाली है, और इसे अधिकांशतः रिवर्स गणित में आधार प्रणाली के रूप में उपयोग किया जाता है। इसमें सम्मिलित करना हैं, मूल सिद्धांत, Σ01 प्रेरण योजना, और Δ01 समझ योजना, पूर्व शब्द स्पष्ट है, Σ प्रेरण योजना प्रत्येक Σ01 सूत्र φ के लिए प्रेरण सिद्धांत है। शब्द Δ01 समझ" अधिक समिश्रय है, क्योंकि Δ01 सूत्र जैसी कोई चीज़ नहीं है। इसके अतिरिक्त Δ01 समझ योजना प्रत्येक Σ01 सूत्र के लिए समझ सिद्धांत पर जोर देती है, जो तार्किक रूप से Π01 सूत्र के समतुल्य है। इस योजना में प्रत्येक Σ01 सूत्र φ और प्रत्येक Π01 सूत्र ψ के लिए अभिगृहीत सम्मिलित करना है।

RCA0 के प्रथम-क्रम परिणामों का समूह पीनो अंकगणित के सबसिस्टम IΣ1 के समान है, जिसमें प्रेरण Σ01 सूत्रों तक सीमित है। बदले में, IΣ1 आदिम पुनरावर्ती अंकगणित (पीआरए) पर रूढ़िवादी है, इसके अतिरिक्त, प्रमाण-सैद्धांतिक क्रम RCA0 ω ω है, जो पीआरए के समान है।

यह देखा जा सकता है, कि ω के सबसमूह का एक संग्रह एस RCA0 का एक ω-मॉडल निर्धारित करता है, यदि और मात्र यदि एस ट्यूरिंग रिड्यूसिबिलिटी और ट्यूरिंग जॉइन के अनुसार संवृत्त है। विशेष रूप से, ω के सभी गणना योग्य उपसमूह का संग्रह RCA0 का ω-मॉडल देता है। इस प्रणाली के नाम के पीछे यही प्रेरणा है, यदि RCA0 का उपयोग करके किसी समूह का अस्तित्व सिद्ध किया जा सकता है, तो समूह पुनरावर्ती (अर्थात गणना योग्य) है।

अस्थिर सिस्टम

कभी-कभी RCA0 से भी अस्थिर प्रणाली वांछित होती है। ऐसी एक प्रणाली को इस प्रकार परिभाषित किया गया है। किसी को पहले अंकगणित की भाषा को एक घातीय फ़ंक्शन प्रतीक के साथ बढ़ाना होगा (मजबूत प्रणालियों में घातांक को सामान्य चाल द्वारा जोड़ और गुणा के संदर्भ में परिभाषित किया जा सकता है, लेकिन जब प्रणाली बहुत अस्थिर हो जाती है, तो यह संभव नहीं है) और स्पष्ट स्वयंसिद्धों द्वारा मूल सिद्धांतों को गुणन से प्रेरक रूप से घातांक को परिभाषित करना होगा; तब सिस्टम में (समृद्ध) बुनियादी सिद्धांत, प्लस Δ01 समझ, प्लस Δ00 प्रेरण सम्मिलित करना होते हैं।

मजबूत सिस्टम

RCA0 पर, दूसरे क्रम के अंकगणित का प्रत्येक सूत्र सभी बड़े पर्याप्त n के लिए Σ1n या Π1n सूत्र के समतुल्य है। प्रणाली Π11-समझ एक ऐसी प्रणाली है, जिसमें बुनियादी सिद्धांतों के साथ-साथ सामान्य दूसरे क्रम के प्रेरण सिद्धांत और प्रत्येक (बोल्डफेस[7]) Π1n सूत्र φ के लिए समझ सिद्धांत सम्मिलित करना है। यह Σ11-समझदारी के समतुल्य है (दूसरी ओर, Δ11-समझदारी, जिसे Δ01-समझदारी के अनुरूप परिभाषित किया गया है, अस्थिर है)।

प्रक्षेप्य नियति

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

दूसरे क्रम के अंकगणित की भाषा में व्यक्त किए जाने वाले कई प्राकृतिक प्रस्ताव Z2 और यहां तक कि जेडएफसी से स्वतंत्र हैं, लेकिन प्रक्षेप्य निर्धारण से सिद्ध करने योग्य हैं। उदाहरणों में सह-विश्लेषणात्मक पूर्ण उपसमूह संपत्ति, मापनीयता और बेयर की संपत्ति सम्मिलित करना है, समूह, एकरूपता, आदि होता है, एक अस्थिर आधार सिद्धांत (जैसे कि RCA0) पर, प्रक्षेप्य निर्धारण का तात्पर्य समझ से है, और दूसरे क्रम के अंकगणित का एक अनिवार्य रूप से पूर्ण सिद्धांत प्रदान करता है, Z2 की भाषा में प्राकृतिक कथन जो प्रक्षेप्य निर्धारण के साथ Z2 से स्वतंत्र हैं, उन्हें ढूंढना कठिन है।[8]

ZFC + {वहां n वुडिन कार्डिनल हैं: n एक प्राकृतिक संख्या है} प्रक्षेप्य निर्धारण के साथ Z2 पर रूढ़िवादी है, [उद्धरण वांछित], अर्थात दूसरे क्रम के अंकगणित की भाषा में एक बयान प्रक्षेप्य निर्धारण के साथ Z2 में सिद्ध हो सकता है, यदि और मात्र यदि समूह सिद्धांत की भाषा में इसका अनुवाद ZFC + में सिद्ध हो सकता है {n वुडिन कार्डिनल हैं: n∈N}।

कोडिंग गणित

दूसरे क्रम का अंकगणित सीधे प्राकृतिक संख्याओं और प्राकृतिक संख्याओं के समूह को औपचारिक बनाता है। चूंकि, यह कोडिंग तकनीकों के माध्यम से अप्रत्यक्ष रूप से अन्य गणितीय वस्तुओं को औपचारिक रूप देने में सक्षम है, एक तथ्य जिसे सबसे पहले हरमन वेइल ने देखा था (सिम्पसन 2009, पृष्ठ 16)। पूर्णांक, तर्कसंगत संख्या और वास्तविक संख्याएं सभी को उपप्रणाली RCA0 में औपचारिक रूप दिया जा सकता है, साथ ही उनके बीच पूर्ण वियोज्य मीट्रिक रिक्त स्थान और निरंतर कार्यों (सिम्पसन 2009, अध्याय II) के साथ है।

रिवर्स गणित का अनुसंधान कार्यक्रम गणितीय प्रमेयों को सिद्ध करने के लिए आवश्यक समूह-अस्तित्व सिद्धांतों का अध्ययन करने के लिए दूसरे क्रम के अंकगणित में गणित की इन औपचारिकताओं का उपयोग करता है (सिम्पसन 2009, पृष्ठ 32)। उदाहरण के लिए, वास्तविक से वास्तविक तक के कार्यों के लिए मध्यवर्ती मूल्य प्रमेय RCA0 (सिम्पसन 2009, पृष्ठ 87) में सिद्ध है, जबकि बोल्ज़ानो-वीयरस्ट्रैस प्रमेय RCA0 (सिम्पसन 2009, पृष्ठ 34) के मुकाबले RCA0 के समतुल्य है।

उपरोक्त कोडिंग निरंतर और कुल कार्यों के लिए अच्छी प्रकार से काम करती है, जैसा कि (कोहलेनबैक 2002, धारा 4) में दिखाया गया है, एक उच्च-क्रम आधार सिद्धांत और अस्थिर कोनिग लेम्मा को मानते है। जैसा कि संभवतः अपेक्षित था, टोपोलॉजी या माप सिद्धांत के स्थितियाँ में, कोडिंग समस्याओं के बिना नहीं है, जैसा कि उदाहरण में पता लगाया गया है। (हंटर, 2008) या (नॉर्मन एंड सैंडर्स, 2019)।[9] चूंकि, यहां तक कि रीमैन अभिन्न फ़ंक्शंस को कोड करने से भी समस्याएं उत्पन्न होती हैं, जैसा कि (नॉर्मन एंड सैंडर्स, 2020) में दिखाया गया है, रीमैन इंटीग्रल के लिए आर्ज़ेला के अभिसरण प्रमेय को सिद्ध करने के लिए आवश्यक न्यूनतम (समझ) सिद्धांत बहुत भिन्न हैं, यह इस बात पर निर्भर करता है, कि कोई दूसरे-क्रम कोड या तीसरे-क्रम फ़ंक्शंस का उपयोग करता है, या नहीं करता है।[10]

यह भी देखें

संदर्भ

  1. Sieg, W. (2013). हिल्बर्ट के कार्यक्रम और परे. Oxford University Press. p. 291. ISBN 978-0-19-970715-7.
  2. Girard, J.-Y.; Taylor (1987). प्रमाण एवं प्रकार. Cambridge University Press. pp. 122–123.
  3. Stephen G. Simpson, Subsystems of Second-order Arithmetic (2009, pp.3-4)
  4. 4.0 4.1 4.2 W. Marek, Stable sets, a characterization of β2-models of full second-order arithmetic and some related facts (1973, pp.176-177). Accessed 2021 November 4.
  5. W. Marek, ω-models of second-order set theory and admissible sets (1975, p.104). Accessed 2021 November 4.
  6. W. Marek, Observations Concerning Elementary Extensions of ω-Models. II (1973, p.227). Accessed 2021 November 4.
  7. P. D. Welch, "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions" (2010 draft ver., p. 3). Accessed 31 July 2022.
  8. Woodin, W. H. (2001). "सातत्य परिकल्पना, भाग I". Notices of the American Mathematical Society. 48 (6).
  9. Dag Normann; Sam Sanders (2019). "माप सिद्धांत में प्रतिनिधित्व". arXiv:1902.02756 [math.LO].
  10. Dag Normann; Sam Sanders (2020). "On the uncountability of ". p. 37. arXiv:2007.07560 [math.LO].