View source for स्वयंसिद्ध प्रणाली

{{short description|Mathematical term; concerning axioms used to derive theorems}}
[[गणित]] और [[तर्क]]शास्त्र में, [[स्वयंसिद्ध]] प्रणाली सिद्धांतों का [[सेट (गणित)|समुच्चय (गणित)]] है, जिसमें से कुछ या सभी स्वयंसिद्धों को तार्किक रूप से व्युत्पन्न [[प्रमेय]] के संयोजन के रूप में उपयोग किया जा सकता है। [[सिद्धांत (गणितीय तर्क)]] ज्ञान का सुसंगत अपेक्षाकृत आत्मनिर्भर निकाय है, जिसमें सामान्यतः स्वयंसिद्ध प्रणाली और उसके सभी व्युत्पन्न प्रमेय सम्मिलित होते हैं। स्वयंसिद्ध प्रणाली जो पूर्ण रूप से से वर्णित है, यह विशेष प्रकार की [[औपचारिक प्रणाली]] है। यह औपचारिक सिद्धांत स्वयंसिद्ध प्रणाली है (सामान्यतः [[मॉडल सिद्धांत|आदर्श सिद्धांत]] के अंदर सूत्रबद्ध की जाती है) जो तार्किक निहितार्थ के अनुसार संवृत्त किए गए वाक्यों के समुच्चय का वर्णन करती है।<ref>{{Cite web|url=http://mathworld.wolfram.com/लिखित.html|title=लिखित|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-10-31}}</ref> [[औपचारिक प्रमाण]] एक औपचारिक प्रणाली के अंदर [[गणितीय प्रमाण]] का पूर्ण प्रतिपादन है।

== गुण ==

एक स्वयंसिद्ध प्रणाली को सुसंगत कहा जाता है यदि उसमें [[विरोधाभास]] का अभाव होता है। अर्थात् प्रणाली के स्वयंसिद्धों से कथन और उसके निषेध दोनों को प्राप्त करना असंभव है। अधिकांश स्वयंसिद्ध प्रणालियों के लिए संगति महत्वपूर्ण आवश्यकता है, क्योंकि विरोधाभास ([[विस्फोट का सिद्धांत]]) की उपस्थिति किसी भी कथन को सिद्ध करने की अनुमति देती है।

एक स्वयंसिद्ध प्रणाली में स्वयंसिद्ध को [[स्वतंत्रता (गणितीय तर्क)]] कहा जाता है, यदि यह प्रणाली में अन्य स्वयंसिद्धों से सिद्ध या अप्रमाणित नहीं किया जा सकता है। प्रणाली को स्वतंत्र कहा जाता है यदि इसके प्रत्येक अंतर्निहित स्वयंसिद्ध स्वतंत्र होते हैं। संगति के विपरीत, कार्यशील स्वयंसिद्ध प्रणाली के लिए स्वतंत्रता आवश्यक आवश्यकता नहीं है - चूंकि यह सामान्यतः प्रणाली में स्वयंसिद्धों की संख्या को कम करने के लिए प्राप्त की जाती है।

एक स्वयंसिद्ध प्रणाली को [[पूर्णता (तर्क)|पूर्णता (]][[स्वतंत्रता (गणितीय तर्क)|गणितीय]] तर्क) कहा जाता है, यदि प्रत्येक कथन के लिए या स्वयं या उसका निषेध प्रणाली के स्वयंसिद्धों से व्युत्पन्न होता है (समकक्ष रूप से, प्रत्येक कथन सत्य या असत्य सिद्ध होने में सक्षम है)।<ref>{{Cite web|url=http://mathworld.wolfram.com/CompleteAxiomaticTheory.html|title=Complete Axiomatic Theory|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-10-31}}</ref>
== सापेक्ष संगति ==

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

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

एक स्वैच्छिक प्रणाली के लिए [[मॉडल (गणितीय तर्क)|आदर्श(गणितीय तर्क)]] एक उचित प्रकार से परिभाषित समुच्चय (गणित) है, जो प्रणाली में प्रस्तुत अपरिभाषित नियमों के लिए अर्थ प्रदान करता है, जो प्रणाली में परिभाषित संबंधों के साथ उचित है। एक {{Em|ठोस आदर्श}} अस्तित्व प्रणाली की स्थिरता प्रमाण सिद्ध करता है, इस आदर्श को ठोस कहा जाता है यदि निर्दिष्ट अर्थ वास्तविक विश्व से उद्देश्य और संबंध हैं, इस के विपरीत {{Em|अमूर्त आदर्श }} जो अन्य स्वयंसिद्ध प्रणालियों पर आधारित है।  

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

दो आदर्शो को [[समाकृतिकता|समरूपी]] कहा जाता है, यदि उनके तत्वों के मध्य एकाकी सामंजस्य प्राप्त करा जा सकता है, जो उनके संबंध को संरक्षित रखता है।<ref>{{Citation|last1=Hodges|first1=Wilfrid|title=First-order Model Theory|date=2018|url=https://plato.stanford.edu/archives/win2018/entries/modeltheory-fo/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Winter 2018|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-10-31|last2=Scanlon|first2=Thomas}}</ref> स्वयंसिद्ध प्रणाली जिसके लिए प्रत्येक आदर्श दूसरे के लिए समरूपी होता है, जो {{Em|श्रेणीबद्ध}} (कभी-कभी {{Em|श्रेणीबद्ध}}) कहलाती है। श्रेणीबद्धता (श्रेणीबद्धता) की गुण प्रणाली की पूर्णता सुनिश्चित करती है, चूंकि इसका विपरीत सत्य नहीं है। पूर्णता किसी प्रणाली की श्रेणीबद्धता (श्रेणीबद्धता) सुनिश्चित नहीं करती है, क्योंकि दो आदर्श गुणों में भिन्नता हो सकती हैं, जिन्हें शब्दार्थ के माध्यम से व्यक्त नहीं किया जा सकता है। 

=== उदाहरण ===

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

:<math>\exist x_1: \exist x_2: \lnot (x_1=x_2)</math> (अनौपचारिक रूप से, दो भिन्न-भिन्न उद्देश्य उपस्थित हैं)।

:<math>\exist x_1: \exist x_2: \exist x_3: \lnot (x_1=x_2) \land \lnot (x_1=x_3) \land \lnot (x_2=x_3)</math> (अनौपचारिक रूप से, तीन भिन्न-भिन्न उद्देश्य उपस्थित हैं)।

:<math>...</math>
अनौपचारिक रूप से, अभिगृहीतों के इस अनंत समुच्चय में कहा गया है कि अपरिमित रूप से अनेक भिन्न उद्देश्य हैं। चूंकि, [[अनंत सेट|अनंत समुच्चय]] की अवधारणा को प्रणाली के अंदर परिभाषित नहीं किया जा सकता है - जैसे समुच्चय की प्रमुखता को त्याग दें।

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

== स्वयंसिद्ध विधि ==

परिभाषाओं और प्रस्तावों को इस प्रकार से प्रचारित हुए कि प्रत्येक नए शब्द को पूर्व में प्रस्तुत किए गए शब्दों से औपचारिक रूप से समाप्त किया जा सकता है, [[अनंत प्रतिगमन]] से परिवर्जन के लिए प्राचीन धारणाओं (सिद्धांतों) की आवश्यकता होती है। गणित कार्य की इस विधि को अभिगृहीत विधि कहते हैं।<ref>"''Set Theory and its Philosophy, a Critical Introduction'' S.6; Michael Potter, Oxford, 2004</ref> 

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

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

ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत, समुच्चय सिद्धांत पर प्रयुक्त स्वयंसिद्ध विधि का परिणाम है, जिसने समुच्चय-सिद्धांत समस्याओं के "उचित" सूत्रीकरण की अनुमति दी और नैवे समुच्चय सिद्धांत के विरोधाभासों से परिवर्जन में सहायता करता है। ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत, विकल्प के ऐतिहासिक रूप से विवादास्पद सिद्धांत को सम्मलित करते हुए, सामान्यतः संक्षिप्त रूप से [[ZFC|जेडएफसी]] है, जिस स्थान पर "सी" का अर्थ "विकल्प" है। अनेक लेखकों ने ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत का उपयोग ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के सिद्धांतों को संदर्भित करने के लिए विकल्प के स्वयंसिद्ध के साथ करते हैं।<ref>{{Cite web|url=http://mathworld.wolfram.com/Zermelo-FraenkelAxioms.html|title=Zermelo-Fraenkel Axioms|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-10-31}}</ref> वर्तमान मे जेडएफसी स्वयंसिद्ध समुच्चय सिद्धांत का मानक रूप है और इसलिए यह गणित का सबसे सामान्य आधार है।

=== इतिहास ===
{{Further|गणित का इतिहास}}

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

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

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

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

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

=== उदाहरण: प्राकृतिक संख्याओं का पीनो स्वयंसिद्धीकरण ===
{{Main|पीनो अभिगृहीत}}

प्राकृतिक संख्याओं की गणितीय प्रणाली 0, 1, 2, 3, 4, ... स्वयंसिद्ध प्रणाली पर आधारित है जिसे सर्व-प्रथम 1889 में गणितज्ञ [[जोसेफ पीनो|ग्यूसेप पीनो]] के माध्यम से निर्मित करा गया गया था। उन्होंने प्राकृतिक संख्याओं के समुच्चय के लिए एकल एकाधारी फलन प्रतीक S ("उत्तराधिकारी" के लिए संक्षिप्त) की भाषा में स्वयंसिद्धों को चयनित करा:

* एक प्राकृतिक संख्या 0 है।
* प्रत्येक प्राकृत संख्या a का परवर्ती होता है, जिसे Sa के माध्यम से निरूपित किया जाता है।
* ऐसी कोई प्राकृत संख्या नहीं है जिसका परवर्ती 0 हो।
* भिन्न-भिन्न प्राकृतिक संख्याओं के भिन्न-भिन्न उत्तराधिकारी होते हैं: यदि a ≠ b, तब Sa ≠ Sb है।
* यदि कोई गुण 0 के समीप है और उसके समीप उपस्थित प्रत्येक प्राकृतिक संख्या के उत्तरवर्ती के समीप भी है, तब यह सभी प्राकृतिक संख्याओं (गणितीय प्रेरण अभिगृहीत सिद्धांत) के समीप है।

=== स्वयंसिद्धकरण ===

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

== यह भी देखें ==
{{Portal|Philosophy|Mathematics}}
{{wikiquote}}
* {{annotated link|स्वयंसिद्ध योजना }}- स्वयंसिद्ध प्रणाली की धातुभाषा में सूत्र जिसमें एक या अधिक योजनाबद्ध चर निरुपित होते हैं।
* {{annotated link|औपचारिकता (गणित  दर्शन) |नियम-निष्ठता}}- यह देखें कि गणित आवश्यक रूप से वास्तविकता का प्रतिनिधित्व नहीं करता है किन्तु यह खेल के समान है।
* {{annotated link|गोडेल की अपूर्णता प्रमेय}}- गणितीय तर्क में सीमित परिणाम है।
* {{annotated link|हिल्बर्ट-शैली परिणाम प्रणाली}}- तर्क में औपचारिक परिणाम की प्रणाली है।
* {{annotated link|तर्क का इतिहास}}
* {{annotated link|तर्क प्रणालियों की सूची}}
* {{annotated link|तर्कवाद}} गणित के दर्शन-शास्त्र में कार्यक्रम:
* {{annotated link|ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत}}- स्वयंसिद्ध समुच्चय सिद्धांत की मानक प्रणाली, समुच्चय सिद्धांत के लिए स्वयंसिद्ध प्रणाली और गणित के लिए वर्तमान का सबसे सामान्य आधार है।

== संदर्भ ==
{{reflist}}


== आगे की पढाई ==
* {{springer|title=Axiomatic method|id=p/a014300}}
* Eric W. Weisstein, ''Axiomatic System'', From MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/AxiomaticSystem.html Mathworld.wolfram.com] & [http://www.answers.com/topic/axiomatic-system Answers.com]

{{Mathematical logic}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:Collapse templates]]
[[Category:Created On 27/01/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Portal templates with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:औपचारिक प्रणालियाँ]]
[[Category:गणितीय स्वयंसिद्ध|*]]
[[Category:वैचारिक प्रणाली]]
[[Category:सबूत के तरीके]]