अभिगृहीत: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
Line 4: Line 4:
जब बाद के अर्थ में उपयोग किया जाता है, तो "स्वयंसिद्ध", "अभिधारणा", और "अनुमान" का परस्पर उपयोग किया जा सकता है। इस स्थिति में, एक गैर-तार्किक स्वयंसिद्ध केवल एक औपचारिक तार्किक अभिव्यक्ति है जिसका उपयोग गणितीय सिद्धांत बनाने के लिए कटौती में किया जाता है, और प्रकृति में स्व-स्पष्ट हो भी सकता है और नहीं भी हो सकता है (उदाहरण के लिए, [[यूक्लिडियन ज्यामिति]] में [[समानांतर अभिधारणा]])। ज्ञान की एक प्रणाली को स्वयंसिद्ध करने के लिए यह दिखाना है कि इसके आशय को छोटे, अच्छी तरह से समझे जाने वाले वाक्यों (स्वयंसिद्ध) से प्राप्त किया जा सकता है, और सामान्य पर किसी दिए गए गणितीय डोमेन को स्वयंसिद्ध करने के कई उपयोग हैं।     
जब बाद के अर्थ में उपयोग किया जाता है, तो "स्वयंसिद्ध", "अभिधारणा", और "अनुमान" का परस्पर उपयोग किया जा सकता है। इस स्थिति में, एक गैर-तार्किक स्वयंसिद्ध केवल एक औपचारिक तार्किक अभिव्यक्ति है जिसका उपयोग गणितीय सिद्धांत बनाने के लिए कटौती में किया जाता है, और प्रकृति में स्व-स्पष्ट हो भी सकता है और नहीं भी हो सकता है (उदाहरण के लिए, [[यूक्लिडियन ज्यामिति]] में [[समानांतर अभिधारणा]])। ज्ञान की एक प्रणाली को स्वयंसिद्ध करने के लिए यह दिखाना है कि इसके आशय को छोटे, अच्छी तरह से समझे जाने वाले वाक्यों (स्वयंसिद्ध) से प्राप्त किया जा सकता है, और सामान्य पर किसी दिए गए गणितीय डोमेन को स्वयंसिद्ध करने के कई उपयोग हैं।     


कोई भी स्वयंसिद्ध एक कथन है जो एक प्रारंभिक बिंदु के रूप में कार्य करता है जिससे अन्य कथन तार्किक रूप से प्राप्त होते हैं। क्या यह सार्थक है (और, यदि ऐसा है, तो इसका क्या अर्थ है) एक स्वयंसिद्ध के लिए "सत्य" होना गणित के दर्शन में तर्क का विषय है।<ref>See for example {{cite journal|first=Penelope|last=Maddy|journal=Journal of Symbolic Logic|title=Believing the Axioms, I|volume=53|issue=2|date=Jun 1988|pages=481–511|doi=10.2307/2274520|jstor=2274520}} for a [[mathematical realism|realist]] view.</ref>j
कोई भी स्वयंसिद्ध एक कथन है जो एक प्रारंभिक बिंदु के रूप में कार्य करता है जिससे अन्य कथन तार्किक रूप से प्राप्त होते हैं। क्या यह सार्थक है (और, यदि ऐसा है, तो इसका क्या अर्थ है) एक स्वयंसिद्ध के लिए "सत्य" होना गणित के दर्शन में तर्क का विषय है।<ref>See for example {{cite journal|first=Penelope|last=Maddy|journal=Journal of Symbolic Logic|title=Believing the Axioms, I|volume=53|issue=2|date=Jun 1988|pages=481–511|doi=10.2307/2274520|jstor=2274520}} for a [[mathematical realism|realist]] view.</ref>
 
 
== व्युत्पत्ति ==
== व्युत्पत्ति ==
स्वयंसिद्ध शब्द [[ग्रीक भाषा]] के शब्द {{lang|grc|एक्सिओमा}} से आया है क्रिया {{lang|grc|एक्सिओइन}} से एक [[मौखिक संज्ञा]], जिसका अर्थ योग्य समझा जाना है, लेकिन इसकी आवश्यकता भी है, जो बदले में आता है {{lang|grc|एक्सिओस}}, जिसका अर्थ है संतुलन में होना, और इसलिए (समान) मूल्य (जैसा), योग्य, उचित होना। [[प्राचीन ग्रीस]] के [[दार्शनिक|दार्शनिकों]] के बीच एक स्वयंसिद्ध दावा था जिसे प्रमाण की आवश्यकता के बिना स्वतः स्पष्ट सत्य के रूप में देखा जा सकता था।<ref name=":0">{{Cite web|url=http://www.ptta.pl/pef/haslaen/a/axiom.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://www.ptta.pl/pef/haslaen/a/axiom.pdf |archive-date=2022-10-09 |url-status=live|title=स्वयंसिद्ध - द यूनिवर्सल एनसाइक्लोपीडिया ऑफ़ फिलॉसफी|website=Polskie Towarzystwo Tomasza z Akwinu}}</ref>  अभिधारणा शब्द का मूल अर्थ "मांग" है; उदाहरण के लिए, [[यूक्लिड]] मांग करता है कि कोई सहमत हो कि कुछ चीजें की जा सकती हैं (उदाहरण के लिए, किन्हीं दो बिंदुओं को एक सीधी रेखा से जोड़ा जा सकता है) ।<ref>Wolff, P. ''Breakthroughs in Mathematics'', 1963, New York: New American Library, pp&nbsp;47–48</ref>  प्राचीन जियोमीटरों ने अभिगृहीतों और अभिधारणाओं के बीच कुछ अंतर बनाए रखा। यूक्लिड की पुस्तकों पर टिप्पणी करते हुए, प्रोक्लस ने टिप्पणी की कि "जेमिनस का मानना ​​था कि इस अभिधारणा को एक अभिधारणा के रूप में नहीं बल्कि एक स्वयंसिद्ध के रूप में वर्गीकृत किया जाना चाहिए, क्योंकि यह, पहले तीन अभिधारणाओं की तरह, कुछ निर्माण की संभावना पर जोर नहीं देता है लेकिन एक अभिधारणा को व्यक्त करता है। आवश्यक संपत्ति।<ref>[[T. L. Heath|Heath, T.]] 1956. The Thirteen Books of Euclid's Elements. New York: Dover. ''p 200''</ref> [[बोथियस]] ने 'पोस्टुलेट' को पेटिटियो के रूप में अनुवादित किया और स्वयंसिद्ध धारणाओं को कम्युनिस कहा लेकिन बाद की पांडुलिपियों में इस प्रयोग को हमेशा कठोरता से नहीं रखा गया।   
स्वयंसिद्ध शब्द [[ग्रीक भाषा]] के शब्द {{lang|grc|एक्सिओमा}} से आया है क्रिया {{lang|grc|एक्सिओइन}} से एक [[मौखिक संज्ञा]], जिसका अर्थ योग्य समझा जाना है, लेकिन इसकी आवश्यकता भी है, जो बदले में आता है {{lang|grc|एक्सिओस}}, जिसका अर्थ है संतुलन में होना, और इसलिए (समान) मूल्य (जैसा), योग्य, उचित होना। [[प्राचीन ग्रीस]] के [[दार्शनिक|दार्शनिकों]] के बीच एक स्वयंसिद्ध दावा था जिसे प्रमाण की आवश्यकता के बिना स्वतः स्पष्ट सत्य के रूप में देखा जा सकता था।<ref name=":0">{{Cite web|url=http://www.ptta.pl/pef/haslaen/a/axiom.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://www.ptta.pl/pef/haslaen/a/axiom.pdf |archive-date=2022-10-09 |url-status=live|title=स्वयंसिद्ध - द यूनिवर्सल एनसाइक्लोपीडिया ऑफ़ फिलॉसफी|website=Polskie Towarzystwo Tomasza z Akwinu}}</ref>  अभिधारणा शब्द का मूल अर्थ "मांग" है; उदाहरण के लिए, [[यूक्लिड]] मांग करता है कि कोई सहमत हो कि कुछ चीजें की जा सकती हैं (उदाहरण के लिए, किन्हीं दो बिंदुओं को एक सीधी रेखा से जोड़ा जा सकता है) ।<ref>Wolff, P. ''Breakthroughs in Mathematics'', 1963, New York: New American Library, pp&nbsp;47–48</ref>  प्राचीन जियोमीटरों ने अभिगृहीतों और अभिधारणाओं के बीच कुछ अंतर बनाए रखा। यूक्लिड की पुस्तकों पर टिप्पणी करते हुए, प्रोक्लस ने टिप्पणी की कि "जेमिनस का मानना ​​था कि इस अभिधारणा को एक अभिधारणा के रूप में नहीं बल्कि एक स्वयंसिद्ध के रूप में वर्गीकृत किया जाना चाहिए, क्योंकि यह, पहले तीन अभिधारणाओं की तरह, कुछ निर्माण की संभावना पर जोर नहीं देता है लेकिन एक अभिधारणा को व्यक्त करता है। आवश्यक संपत्ति।<ref>[[T. L. Heath|Heath, T.]] 1956. The Thirteen Books of Euclid's Elements. New York: Dover. ''p 200''</ref> [[बोथियस]] ने 'पोस्टुलेट' को पेटिटियो के रूप में अनुवादित किया और स्वयंसिद्ध धारणाओं को कम्युनिस कहा लेकिन बाद की पांडुलिपियों में इस प्रयोग को हमेशा कठोरता से नहीं रखा गया।   
Line 38: Line 36:
पिछले 150 वर्षों में गणित द्वारा सीखा गया एक परिणाम यह है कि गणितीय अभिकथनों (स्वयंसिद्ध, अभिधारणाएं, प्रस्तावपूर्वक तर्क, प्रमेय) और परिभाषाओं से अर्थ को भिन्न करना उपयोगी है। किसी भी अध्ययन में [[आदिम धारणा|पुरानी  धारणाओं]], या अपरिभाषित शब्दों या अवधारणाओं की आवश्यकता को स्वीकार करना चाहिए। इस प्रकार के अमूर्त या औपचारिकता गणितीय ज्ञान को अधिक सामान्य, कई भिन्न -भिन्न अर्थों में सक्षम बनाता है, और इसलिए कई संदर्भों में उपयोगी होता है। इस आंदोलन में [[एलेसेंड्रो पडोआ]], [[मारियो पियरी]] और [[जोसेफ पीनो]] अग्रणी थे।
पिछले 150 वर्षों में गणित द्वारा सीखा गया एक परिणाम यह है कि गणितीय अभिकथनों (स्वयंसिद्ध, अभिधारणाएं, प्रस्तावपूर्वक तर्क, प्रमेय) और परिभाषाओं से अर्थ को भिन्न करना उपयोगी है। किसी भी अध्ययन में [[आदिम धारणा|पुरानी  धारणाओं]], या अपरिभाषित शब्दों या अवधारणाओं की आवश्यकता को स्वीकार करना चाहिए। इस प्रकार के अमूर्त या औपचारिकता गणितीय ज्ञान को अधिक सामान्य, कई भिन्न -भिन्न अर्थों में सक्षम बनाता है, और इसलिए कई संदर्भों में उपयोगी होता है। इस आंदोलन में [[एलेसेंड्रो पडोआ]], [[मारियो पियरी]] और [[जोसेफ पीनो]] अग्रणी थे।


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


जब गणितज्ञ [[क्षेत्र (गणित)|क्षेत्र]] के स्वयंसिद्धों को नियोजित करते हैं, तब संकल्प और भी अधिक अमूर्त होते हैं। क्षेत्र सिद्धांत के प्रस्ताव किसी एक विशेष अनुप्रयोग से संबंधित नहीं हैं; गणितज्ञ अब पूर्ण अमूर्तता में काम करता है। खेतों के कई उदाहरण हैं; क्षेत्र सिद्धांत उन सभी के बारे में सही जानकारी देती है।
जब गणितज्ञ [[क्षेत्र (गणित)|क्षेत्र]] के स्वयंसिद्धों को नियोजित करते हैं, तब संकल्प और भी अधिक अमूर्त होते हैं। क्षेत्र सिद्धांत के प्रस्ताव किसी एक विशेष अनुप्रयोग से संबंधित नहीं हैं; गणितज्ञ अब पूर्ण अमूर्तता में काम करता है। खेतों के कई उदाहरण हैं; क्षेत्र सिद्धांत उन सभी के बारे में सही जानकारी देती है।
Line 94: Line 92:
सर्वमान्य है।
सर्वमान्य है।


इसका आशय है कि, किसी भी [[मुक्त चर और बाध्य चर]] के लिए <math>x\,,</math> सूत्र <math>x = x</math> एक स्वयंसिद्ध के रूप में माना जा सकता है। इसके अतिरिक्त, इस उदाहरण में, इसके लिए अस्पष्टता और आदिम धारणाओं की कभी न खत्म होने वाली श्रृंखला में न पड़ने के लिए, या तो आशय है कि एक त्रुटिहीन धारणा <math>x = x</math> (या, उस स्थिति के लिए, बराबर होने के लिए) पहले अच्छी तरह से स्थापित होना चाहिए, या प्रतीक का विशुद्ध रूप से औपचारिक और वाक्य-विन्यास उपयोग <math>=</math> लागू किया जाना है, केवल इसे एक स्ट्रिंग और केवल प्रतीकों की एक स्ट्रिंग के रूप में माना जाता है, और गणितीय तर्क वास्तव में ऐसा करता है।
इसका आशय है कि, किसी भी मुक्त चर और बाध्य चर के लिए <math>x\,,</math> सूत्र <math>x = x</math> एक स्वयंसिद्ध के रूप में माना जा सकता है। इसके अतिरिक्त, इस उदाहरण में, इसके लिए अस्पष्टता और आदिम धारणाओं की कभी न खत्म होने वाली श्रृंखला में न पड़ने के लिए, या तो आशय है कि एक त्रुटिहीन धारणा <math>x = x</math> (या, उस स्थिति के लिए, बराबर होने के लिए) पहले अच्छी तरह से स्थापित होना चाहिए, या प्रतीक का विशुद्ध रूप से औपचारिक और वाक्य-विन्यास उपयोग <math>=</math> लागू किया जाना है, केवल इसे एक स्ट्रिंग और केवल प्रतीकों की एक स्ट्रिंग के रूप में माना जाता है, और गणितीय तर्क वास्तव में ऐसा करता है।


एक और, अधिक दिलचस्प उदाहरण [[स्वयंसिद्ध योजना]], वह है जो हमें वह प्रदान करती है जिसे सार्वभौमिक तात्कालिकता के रूप में जाना जाता हैI
एक और, अधिक दिलचस्प उदाहरण [[स्वयंसिद्ध योजना]], वह है जो हमें वह प्रदान करती है जिसे सार्वभौमिक तात्कालिकता के रूप में जाना जाता हैI
Line 119: Line 117:


=== गैर-तार्किक स्वयंसिद्ध ===
=== गैर-तार्किक स्वयंसिद्ध ===
अतार्किक अभिगृहीत ऐसे सूत्र हैं जो सिद्धांत-विशिष्ट मान्यताओं की भूमिका निभाते हैं। दो भिन्न -भिन्न संरचनाओं के बारे में तर्क, उदाहरण के लिए, प्राकृतिक संख्याएँ और [[पूर्णांक]], एक ही तार्किक स्वयंसिद्धों को सम्मिलित कर सकते हैं; गैर-तार्किक स्वयंसिद्धों का उद्देश्य किसी विशेष संरचना (या संरचनाओं के समूह, जैसे [[समूह (बीजगणित)]] के बारे में क्या मुख्य है, पर स्वत्व करना है। इस प्रकार गैर-तार्किक स्वयंसिद्ध, तार्किक स्वयंसिद्धों के विपरीत, 'टॉटोलॉजी (तर्क)' नहीं हैं। एक गैर-तार्किक स्वयंसिद्ध का दूसरा नाम ''अभिधारणा'' है।<ref>Mendelson, "3. First-Order Theories: Proper Axioms" of Ch. 2</ref> लगभग हर आधुनिक [[गणितीय सिद्धांत]] गैर-तार्किक स्वयंसिद्धों के दिए गए समूह से शुरू होता है, और यह था{{Explain|date=June 2019|reason=use of past tense without explanation of change}} सोच{{Citation needed|date=July 2011}} सिद्धांत रूप में प्रत्येक सिद्धांत को इस तरह स्वयंसिद्ध किया जा सकता है और तार्किक सूत्रों की नंगे भाषा में औपचारिक रूप दिया जा सकता है।<!-- This turned out to be impossible{{Citation needed|date=March 2010}} and proved to be quite a story (''[[#role|see below]]''); however recently this approach has been resurrected in the form of [[neo-logicism]].-->गैर-तार्किक स्वयंसिद्धों को प्रायः गणितीय [[प्रवचन]] में केवल स्वयंसिद्धों के रूप में संदर्भित किया जाता है। इसका तातपर्य यह नहीं है कि यह आशय  किया जाता है कि वे कुछ पूर्ण अर्थों में सत्य हैं। उदाहरण के लिए, कुछ समूहों में, समूह संक्रिया [[विनिमेय]] है, और इसे एक अतिरिक्त अभिगृहीत की शुरूआत के साथ मुखरित किया जा सकता है, लेकिन इस अभिगृहीत के बिना, हम काफी अच्छी तरह से विकसित (अधिक सामान्य) समूह सिद्धांत कर सकते हैं, और हम यहां तक ​​कि ले सकते हैं गैर-विनिमेय समूहों के अध्ययन के लिए एक स्वयंसिद्ध के रूप में इसका निषेध।
अतार्किक अभिगृहीत ऐसे सूत्र हैं जो सिद्धांत-विशिष्ट मान्यताओं की भूमिका निभाते हैं। दो भिन्न -भिन्न संरचनाओं के बारे में तर्क, उदाहरण के लिए, प्राकृतिक संख्याएँ और [[पूर्णांक]], एक ही तार्किक स्वयंसिद्धों को सम्मिलित कर सकते हैं; गैर-तार्किक स्वयंसिद्धों का उद्देश्य किसी विशेष संरचना (या संरचनाओं के समूह, जैसे [[समूह (बीजगणित)]] के बारे में क्या मुख्य है, पर स्वत्व करना है। इस प्रकार गैर-तार्किक स्वयंसिद्ध, तार्किक स्वयंसिद्धों के विपरीत, 'टॉटोलॉजी (तर्क)' नहीं हैं। एक गैर-तार्किक स्वयंसिद्ध का दूसरा नाम ''अभिधारणा'' है।<ref>Mendelson, "3. First-Order Theories: Proper Axioms" of Ch. 2</ref> लगभग हर आधुनिक [[गणितीय सिद्धांत]] गैर-तार्किक स्वयंसिद्धों के दिए गए समूह से शुरू होता है, और यह था{{Explain|date=June 2019|reason=use of past tense without explanation of change}} सोच सिद्धांत रूप में प्रत्येक सिद्धांत को इस तरह स्वयंसिद्ध किया जा सकता है और तार्किक सूत्रों की नंगे भाषा में औपचारिक रूप दिया जा सकता है।<!-- This turned out to be impossible{{Citation needed|date=March 2010}} and proved to be quite a story (''[[#role|see below]]''); however recently this approach has been resurrected in the form of [[neo-logicism]].-->गैर-तार्किक स्वयंसिद्धों को प्रायः गणितीय [[प्रवचन]] में केवल स्वयंसिद्धों के रूप में संदर्भित किया जाता है। इसका तातपर्य यह नहीं है कि यह आशय  किया जाता है कि वे कुछ पूर्ण अर्थों में सत्य हैं। उदाहरण के लिए, कुछ समूहों में, समूह संक्रिया [[विनिमेय]] है, और इसे एक अतिरिक्त अभिगृहीत की शुरूआत के साथ मुखरित किया जा सकता है, लेकिन इस अभिगृहीत के बिना, हम काफी अच्छी तरह से विकसित (अधिक सामान्य) समूह सिद्धांत कर सकते हैं, और हम यहां तक ​​कि ले सकते हैं गैर-विनिमेय समूहों के अध्ययन के लिए एक स्वयंसिद्ध के रूप में इसका निषेध।


इस प्रकार, एक स्वयंसिद्ध एक औपचारिक प्रणाली  तार्किक प्रणाली के लिए एक प्रारंभिक आधार है जो एक साथ अनुमान के नियमों के साथ एक '[[कटौती प्रणाली]]' को परिभाषित करता है।
इस प्रकार, एक स्वयंसिद्ध एक औपचारिक प्रणाली  तार्किक प्रणाली के लिए एक प्रारंभिक आधार है जो एक साथ अनुमान के नियमों के साथ एक '[[कटौती प्रणाली]]' को परिभाषित करता है।
Line 126: Line 124:
यह खंड गणितीय सिद्धांतों का उदाहरण देता है जो पूरी तरह से गैर-तार्किक स्वयंसिद्धों (स्वयंसिद्ध, अब से) के एक समूह से विकसित किए गए हैं। इनमें से किसी भी विषय का कठोर उपचार इन स्वयंसिद्धों के विनिर्देशन से शुरू होता है।
यह खंड गणितीय सिद्धांतों का उदाहरण देता है जो पूरी तरह से गैर-तार्किक स्वयंसिद्धों (स्वयंसिद्ध, अब से) के एक समूह से विकसित किए गए हैं। इनमें से किसी भी विषय का कठोर उपचार इन स्वयंसिद्धों के विनिर्देशन से शुरू होता है।


मूल सिद्धांत, जैसे कि अंकगणित, [[वास्तविक विश्लेषण]] और [[जटिल विश्लेषण]] को प्रायः गैर-स्वयंसिद्ध रूप से प्रस्तावित किया जाता है, लेकिन स्पष्ट रूप से या स्पष्ट रूप से सामान्यतः एक धारणा है कि उपयोग किए जा रहे स्वयंसिद्ध ज़र्मेलो-फ्रेंकेल समूह सिद्धांत के स्वयंसिद्ध विकल्प हैं, संक्षिप्त जेडएफसी, या कुछ [[स्वयंसिद्ध सेट सिद्धांत|स्वयंसिद्ध समूह सिद्धांत]] की बहुत समान प्रणाली जैसे वॉन न्यूमैन-बर्नेज़-गोडेल समूह सिद्धांत, जेडएफसी का एक [[रूढ़िवादी विस्तार]]। कभी-कभी मोर्स-केली समूह सिद्धांत या [[ग्रोथेंडिक ब्रह्मांड]] के उपयोग की अनुमति देने वाले [[दृढ़ता से दुर्गम कार्डिनल]] के साथ समूह सिद्धांत जैसे थोड़े मजबूत सिद्धांतों का उपयोग किया जाता है, लेकिन वास्तव में, अधिकांश गणितज्ञ वास्तव में जेडएफसी से कमजोर प्रणाली में सभी की आवश्यकता को प्रमाणित कर सकते हैं, जैसे कि दूसरा -आदेश अंकगणित।{{citation needed|reason=This claim should include a citation |date=April 2016}}
मूल सिद्धांत, जैसे कि अंकगणित, [[वास्तविक विश्लेषण]] और सम्मिश्र विश्लेषण को प्रायः गैर-स्वयंसिद्ध रूप से प्रस्तावित किया जाता है, लेकिन स्पष्ट रूप से या स्पष्ट रूप से सामान्यतः एक धारणा है कि उपयोग किए जा रहे स्वयंसिद्ध ज़र्मेलो-फ्रेंकेल समूह सिद्धांत के स्वयंसिद्ध विकल्प हैं, संक्षिप्त जेडएफसी, या कुछ [[स्वयंसिद्ध सेट सिद्धांत|स्वयंसिद्ध समूह सिद्धांत]] की बहुत समान प्रणाली जैसे वॉन न्यूमैन-बर्नेज़-गोडेल समूह सिद्धांत, जेडएफसी का एक [[रूढ़िवादी विस्तार]]। कभी-कभी मोर्स-केली समूह सिद्धांत या [[ग्रोथेंडिक ब्रह्मांड]] के उपयोग की अनुमति देने वाले [[दृढ़ता से दुर्गम कार्डिनल]] के साथ समूह सिद्धांत जैसे थोड़े मजबूत सिद्धांतों का उपयोग किया जाता है, लेकिन वास्तव में, अधिकांश गणितज्ञ वास्तव में जेडएफसी से कमजोर प्रणाली में सभी की आवश्यकता को प्रमाणित कर सकते हैं, जैसे कि दूसरा -आदेश अंकगणित। गणित में टोपोलॉजी का अध्ययन [[बिंदु सेट टोपोलॉजी|बिंदु समूह टोपोलॉजी]], [[बीजगणितीय टोपोलॉजी]], [[अंतर टोपोलॉजी]] और सभी संबंधित सामग्री, जैसे [[समरूपता सिद्धांत]], [[होमोटॉपी सिद्धांत]] के माध्यम से होता है। अमूर्त बीजगणित का विकास अपने साथ [[समूह सिद्धांत]], वलय (गणित), क्षेत्र (गणित) और गैलोज़ सिद्धांत लेकर आया।
गणित में टोपोलॉजी का अध्ययन [[बिंदु सेट टोपोलॉजी|बिंदु समूह टोपोलॉजी]], [[बीजगणितीय टोपोलॉजी]], [[अंतर टोपोलॉजी]] और सभी संबंधित सामग्री, जैसे [[समरूपता सिद्धांत]], [[होमोटॉपी सिद्धांत]] के माध्यम से होता है। अमूर्त बीजगणित का विकास अपने साथ [[समूह सिद्धांत]], वलय (गणित), क्षेत्र (गणित) और गैलोज़ सिद्धांत लेकर आया।


गणित के अधिकांश क्षेत्रों को सम्मलित करने के लिए इस सूची का विस्तार किया जा सकता है, जिसमें [[माप सिद्धांत]], [[एर्गोडिक सिद्धांत]], संभाव्यता, [[प्रतिनिधित्व सिद्धांत]] और [[अंतर ज्यामिति]] सम्मलित हैं।
गणित के अधिकांश क्षेत्रों को सम्मलित करने के लिए इस सूची का विस्तार किया जा सकता है, जिसमें [[माप सिद्धांत]], [[एर्गोडिक सिद्धांत]], संभाव्यता, [[प्रतिनिधित्व सिद्धांत]] और [[अंतर ज्यामिति]] सम्मलित हैं।
Line 146: Line 143:
अध्ययन के उद्देश्य [[वास्तविक संख्या]] के '''कुंडल''' में हैं। डेडेकिंड पूर्ण आदेशित क्षेत्र के गुणों द्वारा वास्तविक संख्याओं को विशिष्ट रूप से (समरूपता तक) चुना जाता है, जिसका अर्थ है कि ऊपरी सीमा के साथ वास्तविक संख्याओं के किसी भी गैर-खाली समूह में कम से कम ऊपरी सीमा होती है। चूंकि, इन गुणों को स्वयंसिद्धों के रूप में व्यक्त करने के लिए दूसरे क्रम के तर्क के उपयोग की आवश्यकता होती है। लोवेनहाइम-स्कोलेम प्रमेय हमें बताते हैं कि यदि हम स्वयं को पहले क्रम के तर्क तक सीमित रखते हैं, तो वास्तविक के लिए कोई भी स्वयंसिद्ध प्रणाली अन्य मॉडलों को स्वीकार करती है, जिसमें वास्तविक से छोटे मॉडल और बड़े मॉडल दोनों सम्मलितहैं। उत्तरार्द्ध में से कुछ का अध्ययन गैर-मानक विश्लेषण में किया जाता है।
अध्ययन के उद्देश्य [[वास्तविक संख्या]] के '''कुंडल''' में हैं। डेडेकिंड पूर्ण आदेशित क्षेत्र के गुणों द्वारा वास्तविक संख्याओं को विशिष्ट रूप से (समरूपता तक) चुना जाता है, जिसका अर्थ है कि ऊपरी सीमा के साथ वास्तविक संख्याओं के किसी भी गैर-खाली समूह में कम से कम ऊपरी सीमा होती है। चूंकि, इन गुणों को स्वयंसिद्धों के रूप में व्यक्त करने के लिए दूसरे क्रम के तर्क के उपयोग की आवश्यकता होती है। लोवेनहाइम-स्कोलेम प्रमेय हमें बताते हैं कि यदि हम स्वयं को पहले क्रम के तर्क तक सीमित रखते हैं, तो वास्तविक के लिए कोई भी स्वयंसिद्ध प्रणाली अन्य मॉडलों को स्वीकार करती है, जिसमें वास्तविक से छोटे मॉडल और बड़े मॉडल दोनों सम्मलितहैं। उत्तरार्द्ध में से कुछ का अध्ययन गैर-मानक विश्लेषण में किया जाता है।


===<स्पैन आईडी= भूमिका>गणितीय तर्क में भूमिका</span>===
==== वियोजक प्रणाली और पूर्णता ====
 
==== [[वियोजक]] प्रणाली और पूर्णता ====
एक कटौती प्रणाली में एक समूह होता है <math>\Lambda</math> तार्किक स्वयंसिद्धों का, एक समूह  <math>\Sigma</math> गैर-तार्किक सिद्धांतों और एक समूह का <math>\{(\Gamma, \phi)\}</math> अनुमान के नियमों का। एक कटौतीत्मक प्रणाली की एक वांछनीय संपत्ति यह है कि यह 'पूर्ण' हो। एक प्रणाली को पूर्ण कहा जाता है यदि, सभी सूत्रों के लिए <math>\phi</math>,
एक कटौती प्रणाली में एक समूह होता है <math>\Lambda</math> तार्किक स्वयंसिद्धों का, एक समूह  <math>\Sigma</math> गैर-तार्किक सिद्धांतों और एक समूह का <math>\{(\Gamma, \phi)\}</math> अनुमान के नियमों का। एक कटौतीत्मक प्रणाली की एक वांछनीय संपत्ति यह है कि यह 'पूर्ण' हो। एक प्रणाली को पूर्ण कहा जाता है यदि, सभी सूत्रों के लिए <math>\phi</math>,
<डिव वर्ग = केंद्र>
<डिव वर्ग = केंद्र>
Line 163: Line 158:


== यह भी देखें ==
== यह भी देखें ==
{{Portal|Mathematics|Philosophy}}
 
* [[स्वयंसिद्ध प्रणाली]]
* [[स्वयंसिद्ध प्रणाली]]
*
* पहला सिद्धांत, विज्ञान और दर्शन में स्वयंसिद्ध
* पहला सिद्धांत, विज्ञान और दर्शन में स्वयंसिद्ध
* स्वयंसिद्धों की सूची
* स्वयंसिद्धों की सूची
Line 177: Line 171:
==टिप्पणियाँ==
==टिप्पणियाँ==
{{Notelist}}
{{Notelist}}


==संदर्भ==
==संदर्भ==
Line 184: Line 177:


==अग्रिम पठन==
==अग्रिम पठन==
* Mendelson, Elliot (1987). ''Introduction to mathematical logic.'' Belmont, California: Wadsworth & Brooks. {{ISBN|0-534-06624-0}}
* Mendelson, Elliot (1987). ''Introduction to mathematical logic.'' Belmont, California: Wadsworth & Brooks.  
* {{cite Q|Q26720682}}<!-- On an Evolutionist Theory of Axioms -->
 
 
 
 
 
[[Category:All articles with dead external links]]
[[Category:All articles with dead external links]]
[[Category:All articles with unsourced statements]]
[[Category:All articles with unsourced statements]]
Line 259: Line 246:
* [http://us.metamath.org/mpegif/mmset.html#axioms ''Metamath'' axioms page]
* [http://us.metamath.org/mpegif/mmset.html#axioms ''Metamath'' axioms page]


{{Mathematical logic}}
 


[[Category:All articles with dead external links]]
[[Category:All articles with dead external links]]

Latest revision as of 12:36, 27 October 2023

एक अभिगृहीत, अभिधारणा, या पूर्वधारणा एक ऐसा कथन है जिसे आगे के विवेचना और विवेचनाओं के लिए एक आधार या प्रारंभिक बिंदु के रूप में कार्य करने के लिए सत्य माना जाता है। यह शब्द प्राचीन ग्रीक शब्द एक्सिओमा से आया है जिसका अर्थ है 'वह जो योग्य या उपयुक्त समझा जाता है' या 'वह जो स्वयं को स्पष्ट मानता है'।[1][2] अध्ययन के विभिन्न क्षेत्रों के संदर्भ में उपयोग किए जाने पर शब्द की परिभाषा में सूक्ष्म अंतर होता है। जैसा कि क्लासिक दर्शन में परिभाषित किया गया है, एक स्वयंसिद्ध कथन एक ऐसा कथन है जो इतना स्व-प्रमाण या अच्छी तरह से स्थापित है कि इसे विवाद या प्रश्न के बिना स्वीकार किया जाता है।[3] जैसा कि आधुनिक तर्क में प्रयोग किया जाता है, एक स्वयंसिद्ध विवेचना के लिए एक आधार या प्रारंभिक बिंदु है।[4]जैसा कि गणित में प्रयोग किया जाता है, स्वयंसिद्ध शब्द का उपयोग दो संबंधित लेकिन भिन्न -भिन्न अर्थों में किया जाता है: "तार्किक स्वयंसिद्ध" और "गैर-तार्किक स्वयंसिद्ध"। तार्किक स्वयंसिद्ध सामान्य ऐसे कथन होते हैं जिन्हें उनके द्वारा परिभाषित तर्क की प्रणाली के भीतर सत्य माना जाता है और प्रायः प्रतीकात्मक रूप में दिखाया जाता है (जैसे, (A और B ) का तात्पर्य A ), जबकि गैर-तार्किक स्वयंसिद्धों (जैसे, a + b = b + a) वास्तव में एक विशिष्ट गणितीय सिद्धांत (जैसे अंकगणित) के डोमेन के तत्वों के बारे में वास्तविक अभिकथन हैं।

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

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

व्युत्पत्ति

स्वयंसिद्ध शब्द ग्रीक भाषा के शब्द एक्सिओमा से आया है क्रिया एक्सिओइन से एक मौखिक संज्ञा, जिसका अर्थ योग्य समझा जाना है, लेकिन इसकी आवश्यकता भी है, जो बदले में आता है एक्सिओस, जिसका अर्थ है संतुलन में होना, और इसलिए (समान) मूल्य (जैसा), योग्य, उचित होना। प्राचीन ग्रीस के दार्शनिकों के बीच एक स्वयंसिद्ध दावा था जिसे प्रमाण की आवश्यकता के बिना स्वतः स्पष्ट सत्य के रूप में देखा जा सकता था।[6] अभिधारणा शब्द का मूल अर्थ "मांग" है; उदाहरण के लिए, यूक्लिड मांग करता है कि कोई सहमत हो कि कुछ चीजें की जा सकती हैं (उदाहरण के लिए, किन्हीं दो बिंदुओं को एक सीधी रेखा से जोड़ा जा सकता है) ।[7] प्राचीन जियोमीटरों ने अभिगृहीतों और अभिधारणाओं के बीच कुछ अंतर बनाए रखा। यूक्लिड की पुस्तकों पर टिप्पणी करते हुए, प्रोक्लस ने टिप्पणी की कि "जेमिनस का मानना ​​था कि इस अभिधारणा को एक अभिधारणा के रूप में नहीं बल्कि एक स्वयंसिद्ध के रूप में वर्गीकृत किया जाना चाहिए, क्योंकि यह, पहले तीन अभिधारणाओं की तरह, कुछ निर्माण की संभावना पर जोर नहीं देता है लेकिन एक अभिधारणा को व्यक्त करता है। आवश्यक संपत्ति।[8] बोथियस ने 'पोस्टुलेट' को पेटिटियो के रूप में अनुवादित किया और स्वयंसिद्ध धारणाओं को कम्युनिस कहा लेकिन बाद की पांडुलिपियों में इस प्रयोग को हमेशा कठोरता से नहीं रखा गया।

ऐतिहासिक विकास

प्रारंभिक यूनानी

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

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

एक "स्वयंसिद्ध", शास्त्रीय शब्दावली में, विज्ञान की कई शाखाओं के लिए एक स्व-स्पष्ट धारणा को संदर्भित करता है। एक अच्छा उदाहरण यह आशय होगा कि

जब समान राशि को बराबर से लिया जाता है, तो समान राशि प्राप्त होती है।

विभिन्न विज्ञानों के आधार में कुछ अतिरिक्त परिकल्पनाएँ थीं जिन्हें बिना प्रमाण के स्वीकार कर लिया गया। इस प्रकार की परिकल्पना को अभिधारणा कहा जाता था। जबकि अभिगृहीत अनेक विज्ञानों के लिए सामान्य थे, प्रत्येक विशेष विज्ञान के सिद्धांत भिन्न थे। वास्तविक दुनिया के अनुभव के माध्यम से उनकी वैधता स्थापित की जानी थी। अरस्तू ने चेतावनी दी है कि यदि शिक्षार्थी सिद्धांतों की सच्चाई के बारे में संदेह में है तो विज्ञान की सामग्री को सफलतापूर्वक संप्रेषित नहीं किया जा सकता है।[9] यूक्लिड के तत्वों द्वारा शास्त्रीय दृष्टिकोण को अच्छे प्रकार से चित्रित किया गया है [lower-alpha 1] जहां तत्वों की एक सूची दी गई है (हमारे अनुभव से तैयार किए गए सामान्य-संवेदी ज्यामितीय तथ्य), इसके बाद "सामान्य धारणा" (बहुत बुनियादी, स्व-स्पष्ट अभिकथन) की एक सूची है। )

अभिधारणाएँ
  1. किसी भी बिंदु से किसी बिंदु तक एक सीधी रेखा खींचना संभव है।
  2. किसी रेखाखंड को दोनों दिशाओं में लगातार बढ़ाना संभव है।
  3. किसी भी केंद्र और किसी भी त्रिज्या वाले वृत्त का वर्णन करना संभव है।
  4. यह सत्य है कि सभी समकोण एक दूसरे के बराबर होते हैं।
  5. (समानांतर अभिधारणा ) यह सत्य है कि, यदि कोई सीधी रेखा दो सीधी रेखाओं पर गिरकर एक ही ओर के बहुभुज को दो समकोणों से कम बनाती है, जिससे दो सीधी रेखाएँ, यदि अनिश्चित रूप से बढ़ाई जाती हैं, तो उस ओर रेखा का चौराहा बन जाता है। जो दो समकोणों से कम कोण होते हैं।
सामान्य धारणाएं
  1. जो वस्तुएँ एक ही वस्तु के बराबर होती हैं वे आपस में भी बराबर होती हैं।
  2. यदि बराबर को बराबर में जोड़ा जाए, तो पूर्ण बराबर होते हैं।
  3. यदि बराबर को बराबर में से घटाया जाए, तो शेषफल बराबर होता है।
  4. जो चीजें एक दूसरे से मेल खाती हैं वे एक दूसरे के बराबर होती हैं।
  5. संपूर्ण भाग से बड़ा है।

आधुनिक विकास

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

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

जब गणितज्ञ क्षेत्र के स्वयंसिद्धों को नियोजित करते हैं, तब संकल्प और भी अधिक अमूर्त होते हैं। क्षेत्र सिद्धांत के प्रस्ताव किसी एक विशेष अनुप्रयोग से संबंधित नहीं हैं; गणितज्ञ अब पूर्ण अमूर्तता में काम करता है। खेतों के कई उदाहरण हैं; क्षेत्र सिद्धांत उन सभी के बारे में सही जानकारी देती है।

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

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

आधुनिक गणित में सीखा गया एक और प्रमाण छिपी धारणाओं के लिए कथित परिणामो की सावधानी से जांच करना है।

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

यह आधुनिक तर्कशास्त्रियों की प्रारंभिक आशा थी कि गणित की विभिन्न शाखाएँ, शायद गणित की सभी शाखाएँ, बुनियादी स्वयंसिद्धों के एक सुसंगत संग्रह से प्राप्त की जा सकती हैं। औपचारिक कार्यक्रम की प्रारंभिक सफलता हिल्बर्ट की औपचारिकता थी[lower-alpha 2] यूक्लिडियन ज्यामिति का,[10] और उन सूक्तियों की संगति का संबंधित प्रदर्शन।

एक व्यापक संदर्भ में, सभी गणित को जॉर्ज कैंटर | कैंटर के समूह सिद्धांत पर आधारित करने का प्रयास किया गया था। यहां, रसेल के विरोधाभास और भोली समूह सिद्धांत के समान विरोधाभासों के उद्भव ने इस संभावना को बढ़ा दिया कि ऐसी कोई भी प्रणाली असंगत हो सकती है।

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

अन्य विज्ञान

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

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

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

क्वांटम भौतिकी में, अभिधारणाओं के दो समुच्चय कुछ समय के लिए सह-अस्तित्व में रहे हैं, जो मिथ्याकरण का एक बहुत अच्छा उदाहरण प्रदान करते हैं। 'कोपेनहेगन व्याख्या' (नील्स बोह्र, वर्नर हाइजेनबर्ग, मैक्स बोर्न) ने एक पूर्ण गणितीय औपचारिकता के साथ एक परिचालन दृष्टिकोण विकसित किया जिसमें एक वियोज्य हिल्बर्ट अंतरिक्ष में वैक्टरों ('राज्यों') द्वारा क्वांटम प्रणाली का विवरण सम्मिलित है, और रैखिक ऑपरेटरों के रूप में भौतिक मात्राएं सम्मिलित हैं। जो इस हिल्बर्ट अंतरिक्ष में कार्य करता है। यह दृष्टिकोण पूरी तरह से मिथ्या है और इसने अब तक भौतिकी में सबसे त्रुटिहीन भविष्यवाणियां की हैं। लेकिन इसमें स्वाभाविक रूप से पूछे जाने वाले प्रश्नों के उत्तर की अनुमति नहीं देने का असंतोषजनक पहलू है। इस कारण से, अल्बर्ट आइंस्टीन, इरविन श्रोडिंगर, डेविड बोहम द्वारा कुछ समय के लिए एक और 'छिपी-चर सिद्धांत' दृष्टिकोण विकसित किया गया था। इसे इसलिए बनाया गया था जिससे क्वांटम उलझाव जैसी परिघटनाओं को नियतात्मक स्पष्टीकरण देने की कोशिश की जा सके। इस दृष्टिकोण ने माना कि कोपेनहेगन स्कूल का विवरण पूरा नहीं था, और यह माना कि कुछ अभी तक अज्ञात चर को सिद्धांत में जोड़ा जाना था जिससे कुछ ऐसे प्रश्नों का उत्तर देने की अनुमति मिल सके जिनका वह उत्तर नहीं देता है (जिनके संस्थापक तत्वों पर ईपीआर के रूप में चर्चा की गई थी) 1935 में विरोधाभास)। इस विचार को गंभीरता से लेते हुए, जॉन स्टीवर्ट बेल ने 1964 में एक भविष्यवाणी की, जो कोपेनहेगन और छिपे हुए चर स्थिति में विभिन्न प्रयोगात्मक परिणामों (बेल की असमानताओं) को जन्म देगी। प्रयोग पहली बार 1980 के दशक की शुरुआत में एलेन पहलू द्वारा आयोजित किया गया था, और परिणाम ने सरल छिपे हुए चर दृष्टिकोण को छोड़ दिया (परिष्कृत छिपे हुए चर अभी भी सम्मलित हो सकते हैं लेकिन उनके गुण अभी भी उन समस्याओं से अधिक परेशान करने वाले होंगे जिन्हें वे समाधान करने का प्रयास करते हैं)। इसका आशय यह नहीं है कि क्वांटम भौतिकी के वैचारिक ढांचे को अब पूर्ण माना जा सकता है, क्योंकि कुछ खुले प्रश्न अभी भी सम्मलित हैं (क्वांटम और शास्त्रीय क्षेत्रों के बीच की सीमा, क्वांटम मापन के दौरान क्या होता है, पूरी तरह से बंद क्वांटम प्रणाली में क्या होता है जैसे ब्रह्मांड के रूप में ही, आदि)।

गणितीय तर्क

गणितीय तर्क के क्षेत्र में, स्वयंसिद्धों की दो धारणाओं के बीच एक स्पष्ट अंतर किया जाता है: तार्किक और गैर-तार्किक (कुछ सीमा तक क्रमशः स्वयंसिद्धों और अभिधारणाओं के बीच के प्राचीन भेद के समान है)।

तार्किक स्वयंसिद्ध

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

उदाहरण

प्रस्तावात्मक तर्क

प्रस्तावपूर्वक तर्क में निम्नलिखित रूपों के सभी सूत्रों को तार्किक सिद्धांतों के रूप में लेना साधारण है, जहां , , तथा भाषा के सूत्र कोई भी हो सकते हैं और जहाँ सम्मिलित तार्किक संयोजक होंतुरंत निम्नलिखित प्रस्ताव की अस्वीकृति के लिए औरपूर्वगामी से परिणामी प्रस्तावों में सम्मलित होने के लिए:

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

आदिम संयोजकों के समान या भिन्न समूहों को सम्मलित करते हुए अन्य अभिगृहीत स्कीमाटा का वैकल्पिक रूप से निर्माण किया जा सकता है।[13]इन स्वयंसिद्ध स्कीमाटा का उपयोग विधेय कलन में भी किया जाता है, लेकिन कलन में एक परिमाणक को सम्मलित करने के लिए अतिरिक्त तार्किक स्वयंसिद्धों की आवश्यकता होती है।[14]


प्रथम-क्रम तर्क

समानता का सिद्धांत। पहले क्रम की भाषा होने देना। प्रत्येक चर के लिए , सूत्र

<डिव वर्ग = केंद्र>

सर्वमान्य है।

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

एक और, अधिक दिलचस्प उदाहरण स्वयंसिद्ध योजना, वह है जो हमें वह प्रदान करती है जिसे सार्वभौमिक तात्कालिकता के रूप में जाना जाता हैI

सार्वभौमिक तात्कालिकता के लिए स्वयंसिद्ध योजना। एक सूत्र दिया पहले क्रम की भाषा में , एक परिवर्तनीय और एक प्रथम क्रम तर्क शर्तें वह प्रथम-क्रम तर्क है अनुमान के नियम में , सूत्र

<डिव वर्ग = केंद्र>

सर्वमान्य है।

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

'अस्तित्व के सामान्यीकरण के लिए स्वयंसिद्ध योजना।' एक सूत्र दिया पहले क्रम की भाषा में , एक परिवर्तनीय और एक शब्द कि के लिए प्रतिस्थापन योग्य है में , सूत्र

<डिव वर्ग = केंद्र>

सर्वमान्य है।

गैर-तार्किक स्वयंसिद्ध

अतार्किक अभिगृहीत ऐसे सूत्र हैं जो सिद्धांत-विशिष्ट मान्यताओं की भूमिका निभाते हैं। दो भिन्न -भिन्न संरचनाओं के बारे में तर्क, उदाहरण के लिए, प्राकृतिक संख्याएँ और पूर्णांक, एक ही तार्किक स्वयंसिद्धों को सम्मिलित कर सकते हैं; गैर-तार्किक स्वयंसिद्धों का उद्देश्य किसी विशेष संरचना (या संरचनाओं के समूह, जैसे समूह (बीजगणित) के बारे में क्या मुख्य है, पर स्वत्व करना है। इस प्रकार गैर-तार्किक स्वयंसिद्ध, तार्किक स्वयंसिद्धों के विपरीत, 'टॉटोलॉजी (तर्क)' नहीं हैं। एक गैर-तार्किक स्वयंसिद्ध का दूसरा नाम अभिधारणा है।[15] लगभग हर आधुनिक गणितीय सिद्धांत गैर-तार्किक स्वयंसिद्धों के दिए गए समूह से शुरू होता है, और यह था[further explanation needed] सोच सिद्धांत रूप में प्रत्येक सिद्धांत को इस तरह स्वयंसिद्ध किया जा सकता है और तार्किक सूत्रों की नंगे भाषा में औपचारिक रूप दिया जा सकता है।गैर-तार्किक स्वयंसिद्धों को प्रायः गणितीय प्रवचन में केवल स्वयंसिद्धों के रूप में संदर्भित किया जाता है। इसका तातपर्य यह नहीं है कि यह आशय किया जाता है कि वे कुछ पूर्ण अर्थों में सत्य हैं। उदाहरण के लिए, कुछ समूहों में, समूह संक्रिया विनिमेय है, और इसे एक अतिरिक्त अभिगृहीत की शुरूआत के साथ मुखरित किया जा सकता है, लेकिन इस अभिगृहीत के बिना, हम काफी अच्छी तरह से विकसित (अधिक सामान्य) समूह सिद्धांत कर सकते हैं, और हम यहां तक ​​कि ले सकते हैं गैर-विनिमेय समूहों के अध्ययन के लिए एक स्वयंसिद्ध के रूप में इसका निषेध।

इस प्रकार, एक स्वयंसिद्ध एक औपचारिक प्रणाली तार्किक प्रणाली के लिए एक प्रारंभिक आधार है जो एक साथ अनुमान के नियमों के साथ एक 'कटौती प्रणाली' को परिभाषित करता है।

उदाहरण

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

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

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

अंकगणित

पीआनो स्वयंसिद्ध प्रथम-क्रम अंकगणित का सबसे व्यापक रूप से उपयोग किया जाने वाला स्वयंसिद्ध है। वे संख्या सिद्धांत के बारे में कई महत्वपूर्ण तथ्यों को प्रमाणित करने के लिए काफी मजबूत स्वयंसिद्धों का एक समूह हैं और उन्होंने गोडेल को अपने प्रसिद्ध गोडेल की दूसरी अपूर्णता प्रमेय को स्थापित करने की अनुमति दी।[16] हमारे पास एक भाषा है जहाँ एक स्थिर प्रतीक है और एक एकल कार्य है और निम्नलिखित स्वयंसिद्ध हैं:

  1. किसी के लिए सूत्र एक मुक्त चर के साथ।

मानक संरचना है जहाँ प्राकृतिक संख्याओं का समुच्चय है, उत्तराधिकारी कार्य है और स्वाभाविक रूप से संख्या 0 के रूप में व्याख्या की जाती है।

यूक्लिडियन ज्यामिति

संभवतः सबसे पुराना, और सबसे प्रसिद्ध, अभिगृहीतों की सूची यूक्लिडियन ज्यामिति के 4 + 1 यूक्लिड की अभिधारणाएं हैं। स्वयंसिद्धों को 4 + 1 के रूप में संदर्भित किया जाता है क्योंकि लगभग दो सहस्राब्दी के लिए समानांतर अभिधारणा|पांचवां (समानांतर) अभिधारणा (एक रेखा के बाहर एक बिंदु के माध्यम से बिल्कुल एक समानांतर होता है) को पहले चार से व्युत्पन्न होने का संदेह था। अंततः, पाँचवीं अभिधारणा प्रथम चार अभिधारणा से स्वतंत्र पाई गई। कोई यह मान सकता है कि एक रेखा के बाहर एक बिंदु के माध्यम से ठीक एक समानांतर सम्मलितहै, या असीम रूप से कई सम्मलित हैं। यह विकल्प हमें ज्यामिति के दो वैकल्पिक रूप देता है जिसमें त्रिभुज के आंतरिक कोण क्रमशः 180 डिग्री या उससे कम तक जुड़ते हैं, और यूक्लिडियन और हाइपरबोलिक ज्यामिति के रूप में जाने जाते हैं। यदि कोई दूसरी अवधारणा को भी हटा देता है (एक रेखा को अनिश्चित काल तक बढ़ाया जा सकता है) तो अण्डाकार ज्यामिति उत्पन्न होती है, जहां एक रेखा के बाहर एक बिंदु के माध्यम से कोई समानांतर नहीं होता है, और जिसमें त्रिभुज के आंतरिक कोण 180 डिग्री से अधिक तक जुड़ते हैं।

वास्तविक विश्लेषण

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

वियोजक प्रणाली और पूर्णता

एक कटौती प्रणाली में एक समूह होता है तार्किक स्वयंसिद्धों का, एक समूह   गैर-तार्किक सिद्धांतों और एक समूह का अनुमान के नियमों का। एक कटौतीत्मक प्रणाली की एक वांछनीय संपत्ति यह है कि यह 'पूर्ण' हो। एक प्रणाली को पूर्ण कहा जाता है यदि, सभी सूत्रों के लिए , <डिव वर्ग = केंद्र>

अर्थात्, किसी भी कथन के लिए जो तार्किक परिणाम है वहाँ वास्तव में से वर्णन की कटौती सम्मलितहै . यह कभी-कभी व्यक्त किया जाता है कि जो कुछ भी सत्य है वह सिद्ध होता है, लेकिन यह समझना चाहिए कि यहाँ सत्य का अर्थ स्वयंसिद्धों के समूह  द्वारा सत्य बनाया गया है, न कि, उदाहरण के लिए, अभीष्ट व्याख्या में सत्य है। गोडेल की पूर्णता प्रमेय एक निश्चित प्रकार की निगमनात्मक प्रणाली की पूर्णता को स्थापित करती है।

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

इस प्रकार, एक ओर, एक निगमनात्मक प्रणाली की पूर्णता की धारणा है और दूसरी ओर गैर-तार्किक स्वयंसिद्धों के एक समूह  की पूर्णता की। पूर्णता प्रमेय और अपूर्णता प्रमेय, उनके नामों के अतिरिक्त, एक दूसरे का खंडन नहीं करते हैं।

आगे की चर्चा

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

यह भी देखें

टिप्पणियाँ

  1. Although not complete; some of the stated results did not actually follow from the stated postulates and common notions.
  2. Hilbert also made explicit the assumptions that Euclid used in his proofs but did not list in his common notions and postulates.

संदर्भ

  1. Cf. axiom, n., etymology. Oxford English Dictionary, accessed 2012-04-28.
  2. Oxford American College Dictionary: "n. a statement or proposition that is regarded as being established, accepted, or self-evidently true. ORIGIN: late 15th cent.: ultimately from Greek axiōma 'what is thought fitting,' from axios 'worthy.' HighBeam[dead link] (subscription required)
  3. "A proposition that commends itself to general acceptance; a well-established or universally conceded principle; a maxim, rule, law" axiom, n., definition 1a. Oxford English Dictionary Online, accessed 2012-04-28. Cf. Aristotle, Posterior Analytics I.2.72a18-b4.
  4. "A proposition (whether true or false)" axiom, n., definition 2. Oxford English Dictionary Online, accessed 2012-04-28.
  5. See for example Maddy, Penelope (Jun 1988). "Believing the Axioms, I". Journal of Symbolic Logic. 53 (2): 481–511. doi:10.2307/2274520. JSTOR 2274520. for a realist view.
  6. 6.0 6.1 "स्वयंसिद्ध - द यूनिवर्सल एनसाइक्लोपीडिया ऑफ़ फिलॉसफी" (PDF). Polskie Towarzystwo Tomasza z Akwinu. Archived (PDF) from the original on 2022-10-09.
  7. Wolff, P. Breakthroughs in Mathematics, 1963, New York: New American Library, pp 47–48
  8. Heath, T. 1956. The Thirteen Books of Euclid's Elements. New York: Dover. p 200
  9. Aristotle, Metaphysics Bk IV, Chapter 3, 1005b "Physics also is a kind of Wisdom, but it is not the first kind. – And the attempts of some of those who discuss the terms on which truth should be accepted, are due to want of training in logic; for they should know these things already when they come to a special study, and not be inquiring into them while they are listening to lectures on it." W.D. Ross translation, in The Basic Works of Aristotle, ed. Richard McKeon, (Random House, New York, 1941)
  10. For more, see Hilbert's axioms.
  11. Raatikainen, Panu (2018), "Gödel's Incompleteness Theorems", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Fall 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-10-19
  12. Koellner, Peter (2019), "The Continuum Hypothesis", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2019 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-10-19
  13. Mendelson, "6. Other Axiomatizations" of Ch. 1
  14. Mendelson, "3. First-Order Theories" of Ch. 2
  15. Mendelson, "3. First-Order Theories: Proper Axioms" of Ch. 2
  16. Mendelson, "5. The Fixed Point Theorem. Gödel's Incompleteness Theorem" of Ch. 2


अग्रिम पठन

  • Mendelson, Elliot (1987). Introduction to mathematical logic. Belmont, California: Wadsworth & Brooks.

बाहरी संबंध