रॉबिन्सन अंकगणित

गणित में, रॉबिन्सन अंकगणित प्रथम-क्रम पीनो अंकगणित (पीए) का एक सूक्ष्म रूप से स्वयंसिद्ध टुकड़ा है, जिसे पहली बार 1950 में आर. एम. रॉबिन्सन द्वारा निर्धारित किया गया था। इसे आमतौर पर Q से दर्शाया जाता है। Q लगभग है गणितीय प्रेरण की स्वयंसिद्ध स्कीमा के बिना पीए। Q, PA से कमज़ोर है लेकिन इसकी भाषा एक ही है, और दोनों सिद्धांत पूर्ण सिद्धांत हैं। क्यू महत्वपूर्ण और दिलचस्प है क्योंकि यह पीए का एक सूक्ष्म रूप से स्वयंसिद्ध टुकड़ा है जो पुनरावर्ती रूप से अपूर्ण है और Decidability_(logic)#Decidability_of_a_theory है।

स्वसिद्धांत
Q का फॉर्मल_सिस्टम#लॉजिकल_सिस्टम प्रथम-क्रम तर्क#समानता और उसके सिद्धांत|पहचान के साथ प्रथम-क्रम तर्क है, जिसे infix '=' द्वारा दर्शाया गया है। व्यक्ति, जिन्हें प्राकृतिक संख्याएँ कहा जाता है, एक समुच्चय (गणित) के सदस्य हैं जिन्हें N कहा जाता है और एक विशिष्ट सदस्य 0 है, जिसे शून्य कहा जाता है। N पर तीन ऑपरेशन (गणित) हैं:


 * एक यूनरी ऑपरेशन जिसे उत्तराधिकारी कार्य कहा जाता है और उपसर्ग संकेतन एस द्वारा दर्शाया जाता है;
 * दो बाइनरी ऑपरेशन, जोड़ और गुणा, क्रमशः इनफ़िक्स + और · द्वारा दर्शाए गए।

Q के लिए निम्नलिखित अभिगृहीत Q1-Q7 हैं (cf. प्रथम-क्रम अंकगणित के स्वयंसिद्ध भी)। वेरिएबल (गणित) जो अस्तित्वगत परिमाणक से बंधे नहीं हैं, एक अंतर्निहित सार्वभौमिक परिमाणक से बंधे हैं।


 * 1) एसएक्स ≠ '0'
 * 2) *'0' किसी भी संख्या का उत्तराधिकारी नहीं है.
 * 3) (Sx = Sy) → x = y
 * 4) * यदि x का उत्तराधिकारी, y के उत्तराधिकारी के समान है, तो x और y समान हैं। (1) और (2) 'एन' (यह '0' से घिरा एक अनंत सेट है) और एस (यह एक इंजेक्शन समारोह है जिसका फ़ंक्शन का डोमेन 'एन' है) के बारे में न्यूनतम तथ्य प्राप्त करते हैं जो गैर- के लिए आवश्यक हैं। तुच्छता. (2) का रूपांतरण (तर्क) पहचान के गुणों से होता है।
 * 5) y='0' ∨ ∃x (Sx = y)
 * 6) * प्रत्येक संख्या या तो '0' है या किसी संख्या का उत्तराधिकारी है। अंकगणित में मौजूद गणितीय प्रेरण की स्वयंसिद्ध स्कीमा 'क्यू' से अधिक मजबूत है जो इस स्वयंसिद्ध को एक प्रमेय में बदल देती है।
 * 7) x + '0' = x
 * 8) x + Sy = S(x + y)
 * 9) * (4) और (5) जोड़ की पुनरावर्ती परिभाषा हैं।
 * 10) x·'0' = '0'
 * 11) x·Sy = (x·y) + x
 * 12) * (6) और (7) गुणन की पुनरावर्ती परिभाषा हैं।

विभिन्न स्वयंसिद्धीकरण
में स्वयंसिद्ध (1)–(13) में हैं. रॉबिन्सन के 13 सिद्धांतों में से पहले 6 की आवश्यकता केवल तभी होती है, जब यहां के विपरीत, पृष्ठभूमि तर्क में पहचान शामिल नहीं होती है।

एन पर सामान्य सख्त कुल क्रम, (< द्वारा दर्शाया गया) से कम, नियम के माध्यम से जोड़ के संदर्भ में परिभाषित किया जा सकता है x < y ↔ ∃z (Sz + x = y). समान रूप से, हम < को आदिम के रूप में लेकर और इस नियम को आठवें स्वयंसिद्ध के रूप में जोड़कर Q का एक निश्चित रूढ़िवादी विस्तार प्राप्त करते हैं; इस प्रणाली को रॉबिन्सन अंकगणित आर इन कहा जाता है.

Q का एक अलग विस्तार, जिसे हम अस्थायी रूप से Q+ कहते हैं, प्राप्त होता है यदि हम < को आदिम के रूप में लेते हैं और (अंतिम परिभाषा स्वयंसिद्ध के बजाय) निम्नलिखित तीन स्वयंसिद्धों को Q के अभिगृहीत (1)-(7) में जोड़ते हैं:


 * ¬(x < 0)
 * x < Sy ↔ (x < y ∨ x = y)
 * x < y ∨ x = y ∨ y < x

Q+ अभी भी Q का एक रूढ़िवादी विस्तार है, इस अर्थ में कि Q+ में सिद्ध होने वाला कोई भी सूत्र जिसमें <प्रतीक नहीं है, Q में पहले से ही सिद्ध है। (उपरोक्त तीन सिद्धांतों में से केवल पहले दो को Q में जोड़ने से Q का एक रूढ़िवादी विस्तार मिलता है) किस के बराबर Q* को कॉल करता है। यह सभी देखें, लेकिन ध्यान दें कि उपरोक्त तीन स्वयंसिद्धों में से दूसरे को केवल स्वयंसिद्ध जोड़कर प्राप्त क्यू के शुद्ध परिभाषा विस्तार से नहीं निकाला जा सकता है x < y ↔ ∃z (Sz + x = y).)

Q के अभिगृहीतों (1)-(7) के बीच, अभिगृहीत (3) को एक आंतरिक अस्तित्वगत परिमाणक की आवश्यकता है। एक स्वयंसिद्धीकरण देता है जिसमें केवल (अंतर्निहित) बाहरी सार्वभौमिक परिमाणक होते हैं, क्यू के स्वयंसिद्ध (3) को छोड़कर लेकिन उपरोक्त तीन स्वयंसिद्धों को < के साथ आदिम के रूप में जोड़कर। अर्थात्, शॉनफील्ड की प्रणाली Q+ शून्य अभिगृहीत (3) है, और Q+ से सख्ती से कमजोर है, क्योंकि अभिगृहीत (3) अन्य अभिगृहीतों से स्वतंत्र है (उदाहरण के लिए, से कम क्रमसूचक) $$\omega^\omega$$ (3) को छोड़कर सभी स्वयंसिद्धों के लिए एक मॉडल बनाता है जब Sv की व्याख्या v + 1 के रूप में की जाती है। शॉनफ़ील्ड की प्रणाली भी इसमें दिखाई देती है, जहां इसे न्यूनतम अंकगणित कहा जाता है ('क्यू' द्वारा भी दर्शाया जाता है)। एक निकट से संबंधित स्वयंसिद्धीकरण, जो < के बजाय ≤ का उपयोग करता है, पाया जा सकता है.

मेटामैथेमेटिक्स
Q के मेटामैथमैटिक्स पर देखें, , , और. क्यू की इच्छित व्याख्या प्राकृतिक संख्याएं और उनका सामान्य अंकगणित है जिसमें जोड़ और गुणा का अपना पारंपरिक अर्थ होता है, पहचान समानता (गणित) है, तथा 0 प्राकृत संख्या 0 (संख्या) है।

कोई भी मॉडल (संरचना) जो संभवतः स्वयंसिद्ध (3) को छोड़कर क्यू के सभी स्वयंसिद्धों को संतुष्ट करता है, उसका एक अद्वितीय उपमॉडल (मानक भाग) मानक प्राकृतिक संख्याओं के समरूपी होता है। (N, +, ·, S, 0). (अभिगृहीत (3) को संतुष्ट करने की आवश्यकता नहीं है; उदाहरण के लिए गैर-ऋणात्मक पूर्णांक गुणांक वाले बहुपद एक मॉडल बनाते हैं जो (3) को छोड़कर सभी स्वयंसिद्धों को संतुष्ट करता है।)

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

क्यू की एक उल्लेखनीय विशेषता गणितीय प्रेरण की स्वयंसिद्ध योजना की अनुपस्थिति है। इसलिए क्यू में प्राकृतिक संख्याओं के बारे में किसी तथ्य के प्रत्येक विशिष्ट उदाहरण को साबित करना अक्सर संभव होता है, लेकिन संबंधित सामान्य प्रमेय को नहीं। उदाहरण के लिए, Q में 5 + 7 = 7 + 5 सिद्ध है, लेकिन सामान्य कथन x + y = y + x सिद्ध नहीं है। इसी तरह, कोई यह साबित नहीं कर सकता कि Sx ≠ x। क्यू का एक मॉडल जो कई मानक तथ्यों को विफल करता है, दो अलग-अलग नए तत्वों ए और बी को प्राकृतिक संख्याओं के मानक मॉडल से जोड़कर और सा = ए, एसबी = बी, एक्स + ए = बी और एक्स + बी = को परिभाषित करके प्राप्त किया जाता है। a सभी x के लिए, a + n = a और b + n = b यदि n एक मानक प्राकृतिक संख्या है, x·0 = 0 सभी x के लिए, a·n = b और b·n = a यदि n एक गैर- है शून्य मानक प्राकृतिक संख्या, x = a को छोड़कर सभी x के लिए x·a = a, x = b को छोड़कर सभी x के लिए x·b = b, a·a = b, और b·b = a।

क्यू की व्याख्या ज़र्मेलो सेट सिद्धांत के एक टुकड़े में की जा सकती है | ज़र्मेलो का स्वयंसिद्ध सेट सिद्धांत, जिसमें विस्तारशीलता, खाली सेट का अस्तित्व और युग्म का स्वयंसिद्ध शामिल है। यह सिद्धांत S' में है और एसटी में. अधिक विवरण के लिए सामान्य समुच्चय सिद्धांत देखें।

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

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

जब उपरोक्त सात सिद्धांतों में से किसी एक को हटा दिया जाता है तो गोडेल के प्रमेय मान्य नहीं होते हैं। क्यू के ये टुकड़े अनिर्णीत बने हुए हैं, लेकिन वे अब अनिवार्य रूप से अनिर्णीत नहीं हैं: उनके पास लगातार निर्णय लेने योग्य विस्तार हैं, साथ ही साथ अरुचिकर मॉडल भी हैं (यानी, मॉडल जो मानक प्राकृतिक संख्याओं के अंतिम-विस्तार नहीं हैं)।

यह भी देखें

 * जेंटज़ेन की संगति प्रमाण
 * गोडेल की अपूर्णता प्रमेय
 * प्रथम-क्रम सिद्धांतों की सूची
 * पीनो अभिगृहीत
 * प्रेस्बर्गर अंकगणित
 * स्कोलेम अंकगणित
 * दूसरे क्रम का अंकगणित
 * प्राकृतिक संख्याओं की सेट-सैद्धांतिक परिभाषा
 * सामान्य समुच्चय सिद्धांत