गणितीय तर्क विषयों की सूची: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{Self reference|'''''संबंधित परिवर्तन'''''' पर क्लिक करने से उन लेखों के नवीनतम संपादनों की एक सूची दिखाई देती है जिनसे यह पृष्ठ लिंक होता है। यह पृष्ठ स्वयं से लिंक होता है जिससे इस पृष्ठ पर हाल के परिवर्तन भी ''संबंधित परिवर्तनों'' में सम्मिलित किए जा सकें।}} | |||
{{Self reference| | |||
यह [[गणितीय तर्क]] विषयों की सूची है। | यह [[गणितीय तर्क]] विषयों की सूची है। | ||
पारंपरिक सिलोजिस्टिक तर्क के लिए, [[तर्क में विषयों की सूची]] देखें। [[कलन विधि]] के अधिक सिद्धांत के लिए [[संगणनीयता और जटिलता विषयों की सूची]] भी देखें। | पारंपरिक सिलोजिस्टिक तर्क के लिए, [[तर्क में विषयों की सूची]] देखें। [[कलन विधि|एल्गोरिदम]] के अधिक सिद्धांत के लिए [[संगणनीयता और जटिलता विषयों की सूची|संगणनीयता और समिष्टता विषयों की सूची]] भी देखें। | ||
==कार्यशील | ==कार्यशील मूलभूत== | ||
*[[पीनो अभिगृहीत]] | *[[पीनो अभिगृहीत]] | ||
| Line 13: | Line 12: | ||
**[[संरचनात्मक प्रेरण]] | **[[संरचनात्मक प्रेरण]] | ||
**[[पुनरावर्ती परिभाषा]] | **[[पुनरावर्ती परिभाषा]] | ||
*नाइव | *नाइव समुच्चय सिद्धांत | ||
**[[तत्व (गणित)]] | **[[तत्व (गणित)|अवयव (गणित)]] | ||
***[[उर-तत्व]] | ***[[उर-तत्व|उर-अवयव]] | ||
**[[सिंगलटन (गणित)]] | **[[सिंगलटन (गणित)]] | ||
** | **समुच्चय के बीजगणित में सरल प्रमेय | ||
** | **समुच्चय का बीजगणित | ||
**[[सत्ता स्थापित]] | **[[सत्ता स्थापित]] | ||
**[[खाली सेट]] | **[[खाली सेट|रिक्त समुच्चय]] | ||
**गैर-रिक्त | **गैर-रिक्त समुच्चय | ||
**[[खाली फ़ंक्शन]] | **[[खाली फ़ंक्शन|रिक्त फलन]] | ||
*[[ब्रह्मांड (गणित)]] | *[[ब्रह्मांड (गणित)]] | ||
*स्वयंसिद्धीकरण | *स्वयंसिद्धीकरण | ||
| Line 32: | Line 31: | ||
**[[प्रत्यक्ष प्रमाण]] | **[[प्रत्यक्ष प्रमाण]] | ||
** [[रिडक्टियो एड एब्सर्डम]] | ** [[रिडक्टियो एड एब्सर्डम]] | ||
** [[थकावट से प्रमाण]] | ** [[थकावट से प्रमाण|एक्सहॉस्टइन प्रमाण]] | ||
**[[रचनात्मक प्रमाण]] | **[[रचनात्मक प्रमाण]] | ||
**गैररचनात्मक प्रमाण | **गैररचनात्मक प्रमाण | ||
| Line 38: | Line 37: | ||
*[[संगति प्रमाण]] | *[[संगति प्रमाण]] | ||
*[[विश्लेषण का अंकगणितीकरण]] | *[[विश्लेषण का अंकगणितीकरण]] | ||
*[[गणित की नींव]] | *[[गणित की नींव|गणित की मूलभूत]] | ||
*[[औपचारिक भाषा]] | *[[औपचारिक भाषा]] | ||
*[[गणितीय सिद्धांत]] | *[[गणितीय सिद्धांत]] | ||
*हिल्बर्ट का | *हिल्बर्ट का फलन | ||
*अनिवार्य | *अनिवार्य | ||
*परिभाषित वास्तविक संख्या | *परिभाषित वास्तविक संख्या | ||
| Line 52: | Line 51: | ||
*[[परिमित मॉडल सिद्धांत]] | *[[परिमित मॉडल सिद्धांत]] | ||
**[[वर्णनात्मक जटिलता सिद्धांत]] | **[[वर्णनात्मक जटिलता सिद्धांत|वर्णनात्मक समिष्टता सिद्धांत]] | ||
**मॉडल जाँच | **मॉडल जाँच | ||
**ट्रैखटेनब्रोट का प्रमेय | **ट्रैखटेनब्रोट का प्रमेय | ||
*कम्प्यूटेबल मॉडल सिद्धांत | *कम्प्यूटेबल मॉडल सिद्धांत | ||
**टार्स्की की घातीय | **टार्स्की की घातीय फलन समस्या | ||
**अनिर्णय समस्या | **अनिर्णय समस्या | ||
*[[संस्थागत मॉडल सिद्धांत]] | *[[संस्थागत मॉडल सिद्धांत]] | ||
| Line 68: | Line 67: | ||
**प्राथमिक कैलकुलस: अनंतिमल दृष्टिकोण | **प्राथमिक कैलकुलस: अनंतिमल दृष्टिकोण | ||
**[[गैर-मानक विश्लेषण की आलोचना]] | **[[गैर-मानक विश्लेषण की आलोचना]] | ||
**[[मानक भाग फ़ंक्शन]] | **[[मानक भाग फ़ंक्शन|मानक भाग फलन]] | ||
*[[समुच्चय सिद्धान्त]] | *[[समुच्चय सिद्धान्त]] | ||
** | **फोर्सिंग (गणित) | ||
***[[बूलियन-मूल्यवान मॉडल]] | ***[[बूलियन-मूल्यवान मॉडल]] | ||
*[[क्रिपके शब्दार्थ]] | *[[क्रिपके शब्दार्थ]] | ||
| Line 92: | Line 91: | ||
*[[उपसंरचना (गणित)]] | *[[उपसंरचना (गणित)]] | ||
*[[प्राथमिक उपसंरचना]] | *[[प्राथमिक उपसंरचना]] | ||
**[[ स्कोलेम छेद ]] | **[[ स्कोलेम छेद | स्कोलेम छिद्र]] | ||
*गैर-मानक मॉडल | *गैर-मानक मॉडल | ||
*[[परमाणु मॉडल (गणितीय तर्क)]] | *[[परमाणु मॉडल (गणितीय तर्क)]] | ||
*[[ प्रधान मॉडल ]] | *[[ प्रधान मॉडल ]] | ||
*[[संतृप्त मॉडल]] | *[[संतृप्त मॉडल]] | ||
* [[अस्तित्वगत रूप से बंद मॉडल]] | * [[अस्तित्वगत रूप से बंद मॉडल|अस्तित्वगत रूप से संवृत मॉडल]] | ||
*[[अल्ट्राप्रोडक्ट]] | *[[अल्ट्राप्रोडक्ट]] | ||
*[[आयु (मॉडल सिद्धांत)]] | *[[आयु (मॉडल सिद्धांत)]] | ||
**[[समामेलन संपत्ति]] | **[[समामेलन संपत्ति|समामेलन प्रोपर्टी]] | ||
** ह्रुशोव्स्की निर्माण | ** ह्रुशोव्स्की निर्माण | ||
*[[संभावित समरूपता]] | *[[संभावित समरूपता]] | ||
| Line 115: | Line 114: | ||
******वश समूह | ******वश समूह | ||
***[[ओ-न्यूनतम सिद्धांत]] | ***[[ओ-न्यूनतम सिद्धांत]] | ||
*** | ***अशक्त ओ-न्यूनतम संरचना | ||
***[[सी-न्यूनतम सिद्धांत]] | ***[[सी-न्यूनतम सिद्धांत]] | ||
***[[एक सिद्धांत का स्पेक्ट्रम]] | ***[[एक सिद्धांत का स्पेक्ट्रम]] | ||
| Line 121: | Line 120: | ||
**मॉडल संपूर्ण सिद्धांत | **मॉडल संपूर्ण सिद्धांत | ||
**[[प्रथम-क्रम सिद्धांतों की सूची]] | **[[प्रथम-क्रम सिद्धांतों की सूची]] | ||
**[[रूढ़िवादी विस्तार]] | **[[रूढ़िवादी विस्तार|अपरिवर्तन विस्तार]] | ||
**[[प्राथमिक कक्षा]] | **[[प्राथमिक कक्षा]] | ||
***छद्मप्राथमिक वर्ग | ***छद्मप्राथमिक वर्ग | ||
***[[शक्ति (गणितीय तर्क)]] | ***[[शक्ति (गणितीय तर्क)]] | ||
*विभेदित रूप से | *विभेदित रूप से संवृत क्षेत्र | ||
*घातांकीय क्षेत्र | *घातांकीय क्षेत्र | ||
*एक्स-ग्रोथेंडिक प्रमेय | *एक्स-ग्रोथेंडिक प्रमेय | ||
| Line 142: | Line 141: | ||
*लिंडेनबाम-टार्स्की बीजगणित | *लिंडेनबाम-टार्स्की बीजगणित | ||
*लोब का प्रमेय | *लोब का प्रमेय | ||
*[[अंकगणितीय सेट]] | *[[अंकगणितीय सेट|अंकगणितीय समुच्चय]] | ||
*परिभाषित | *परिभाषित समुच्चय | ||
*एरेनफ्यूच्ट-फ्रैस्से खेल | *एरेनफ्यूच्ट-फ्रैस्से खेल | ||
*हरब्रांड व्याख्या / हरब्रांड संरचना | *हरब्रांड व्याख्या / हरब्रांड संरचना | ||
*[[काल्पनिक तत्व]] | *[[काल्पनिक तत्व|काल्पनिक अवयव]] | ||
*अभेद्य | *अभेद्य | ||
*[[व्याख्या (मॉडल सिद्धांत)]] / [[व्याख्या योग्य संरचना]] | *[[व्याख्या (मॉडल सिद्धांत)]] / [[व्याख्या योग्य संरचना]] | ||
| Line 157: | Line 156: | ||
*[[ज़ारिस्की ज्यामिति]] | *[[ज़ारिस्की ज्यामिति]] | ||
== | ==समुच्चय सिद्धांत== | ||
* समुच्चयों का बीजगणित टॉक: समुच्चयों का बीजगणित | * समुच्चयों का बीजगणित टॉक: समुच्चयों का बीजगणित | ||
* [[पसंद का सिद्धांत]] | * [[पसंद का सिद्धांत|विकल्प का सिद्धांत]] : विकल्प का सिद्धांत | ||
** गणनीय | ** गणनीय विकल्प का सिद्धांत टॉक: [[गणनीय विकल्प का सिद्धांत]] | ||
** आश्रित | ** आश्रित विकल्प का सिद्धांत टॉक: [[आश्रित विकल्प का सिद्धांत]] | ||
** ज़ोर्न की लेम्मा टॉक: ज़ोर्न की लेम्मा | ** ज़ोर्न की लेम्मा टॉक: ज़ोर्न की लेम्मा | ||
* [[बूलियन बीजगणित (संरचना)]] | * [[बूलियन बीजगणित (संरचना)]] | ||
| Line 173: | Line 172: | ||
* [[प्रमुखता]] टॉक: कार्डिनैलिटी | * [[प्रमुखता]] टॉक: कार्डिनैलिटी | ||
** [[ अलेफ़ संख्या | अलेफ़ संख्या]] टॉक: एलेफ नंबर | ** [[ अलेफ़ संख्या | अलेफ़ संख्या]] टॉक: एलेफ नंबर | ||
*** [[aleph-अशक्त]] टॉक: [[aleph-एक]] | *** [[aleph-अशक्त|एलेफ़-अशक्त]] टॉक: [[aleph-एक|एलेफ़-एक]] | ||
*** एलेफ़-वन टॉक: एलेफ़-वन | *** एलेफ़-वन टॉक: एलेफ़-वन | ||
** [[ बेथ संख्या | बेथ संख्या]] टॉक: बेथ नंबर | ** [[ बेथ संख्या | बेथ संख्या]] टॉक: बेथ नंबर | ||
** [[ बुनियादी संख्या | | ** [[ बुनियादी संख्या | मूलभूती संख्या]] टॉक: कार्डिनल नंबर | ||
** [[ हार्टोग संख्या | हार्टोग संख्या]] टॉक: हार्टोग्स नंबर | ** [[ हार्टोग संख्या | हार्टोग संख्या]] टॉक: हार्टोग्स नंबर | ||
* कार्टेशियन उत्पाद टॉक: कार्टेशियन उत्पाद | * कार्टेशियन उत्पाद टॉक: कार्टेशियन उत्पाद | ||
* [[ वर्ग (सेट सिद्धांत) | वर्ग ( | * [[ वर्ग (सेट सिद्धांत) | वर्ग (समुच्चय सिद्धांत)]] टॉक: क्लास (समुच्चय सिद्धांत) | ||
* [[पूरक (सेट सिद्धांत)]] टॉक: पूरक ( | * [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] टॉक: पूरक (समुच्चय सिद्धांत) | ||
* [[पूर्ण बूलियन बीजगणित]] टॉक: पूर्ण बूलियन बीजगणित | * [[पूर्ण बूलियन बीजगणित]] टॉक: पूर्ण बूलियन बीजगणित | ||
* [[सातत्य (सेट सिद्धांत)]] टॉक: सातत्य ( | * [[सातत्य (सेट सिद्धांत)|सातत्य (समुच्चय सिद्धांत)]] टॉक: सातत्य (समुच्चय सिद्धांत) | ||
** सुसलिन की समस्या बात: सुसलिन की समस्या | ** सुसलिन की समस्या बात: सुसलिन की समस्या | ||
* सातत्य परिकल्पना टॉक: सातत्य परिकल्पना | * सातत्य परिकल्पना टॉक: सातत्य परिकल्पना | ||
*गणनीय | *गणनीय समुच्चय टॉक:गणनीय समुच्चय | ||
* वर्णनात्मक | * वर्णनात्मक समुच्चय सिद्धांत टॉक: वर्णनात्मक समुच्चय सिद्धांत | ||
** [[विश्लेषणात्मक सेट]] टॉक: विश्लेषणात्मक | ** [[विश्लेषणात्मक सेट|विश्लेषणात्मक समुच्चय]] टॉक: विश्लेषणात्मक समुच्चय | ||
** [[विश्लेषणात्मक पदानुक्रम]] टॉक:विश्लेषणात्मक पदानुक्रम | ** [[विश्लेषणात्मक पदानुक्रम]] टॉक:विश्लेषणात्मक पदानुक्रम | ||
** बोरेल समतुल्य संबंध टॉक: बोरेल समतुल्य संबंध | ** बोरेल समतुल्य संबंध टॉक: बोरेल समतुल्य संबंध | ||
** [[इन्फिनिटी-बोरेल सेट]] टॉक: इन्फिनिटी-बोरेल | ** [[इन्फिनिटी-बोरेल सेट|इन्फिनिटी-बोरेल समुच्चय]] टॉक: इन्फिनिटी-बोरेल समुच्चय | ||
** [[ लाइटफेस विश्लेषणात्मक खेल | लाइटफेस विश्लेषणात्मक खेल]] टॉक: लाइटफेस एनालिटिक गेम | ** [[ लाइटफेस विश्लेषणात्मक खेल | लाइटफेस विश्लेषणात्मक खेल]] टॉक: लाइटफेस एनालिटिक गेम | ||
** [[परफेक्ट सेट प्रॉपर्टी]] टॉक: परफेक्ट | ** [[परफेक्ट सेट प्रॉपर्टी|परफेक्ट समुच्चय प्रॉपर्टी]] टॉक: परफेक्ट समुच्चय प्रॉपर्टी | ||
** [[ पोलिश स्थान | पोलिश स्थान]] टॉक: पोलिश | ** [[ पोलिश स्थान | पोलिश स्थान]] टॉक: पोलिश समिष्ट | ||
** [[प्रीवेल ऑर्डर]] टॉक: प्रीवेलऑर्डरिंग | ** [[प्रीवेल ऑर्डर]] टॉक: प्रीवेलऑर्डरिंग | ||
** [[प्रोजेक्टिव सेट]] टॉक: प्रोजेक्टिव | ** [[प्रोजेक्टिव सेट|प्रोजेक्टिव समुच्चय]] टॉक: प्रोजेक्टिव समुच्चय | ||
** बेयर टॉक की | ** बेयर टॉक की प्रोपर्टी: बेयर की प्रोपर्टी | ||
** [[एकरूपीकरण (सेट सिद्धांत)]] टॉक: एकरूपीकरण ( | ** [[एकरूपीकरण (सेट सिद्धांत)|एकरूपीकरण (समुच्चय सिद्धांत)]] टॉक: एकरूपीकरण (समुच्चय सिद्धांत) | ||
** [[सार्वभौमिक रूप से मापने योग्य सेट]] टॉक: सार्वभौमिक रूप से मापने योग्य | ** [[सार्वभौमिक रूप से मापने योग्य सेट|सार्वभौमिक रूप से मापने योग्य समुच्चय]] टॉक: सार्वभौमिक रूप से मापने योग्य समुच्चय | ||
*[[दृढ़ संकल्प]] वार्ता:दृढ़ संकल्प | *[[दृढ़ संकल्प]] वार्ता:दृढ़ संकल्प | ||
** [[एडी+]] टॉक: एडी प्लस | ** [[एडी+]] टॉक: एडी प्लस | ||
| Line 204: | Line 203: | ||
** प्रक्षेप्य नियति का अभिगृहीत बात: प्रक्षेप्य नियति का अभिगृहीत | ** प्रक्षेप्य नियति का अभिगृहीत बात: प्रक्षेप्य नियति का अभिगृहीत | ||
** वास्तविक नियति का सूक्ति बात: वास्तविक नियति का सूक्ति | ** वास्तविक नियति का सूक्ति बात: वास्तविक नियति का सूक्ति | ||
* | * रिक्त समुच्चय टॉक: रिक्त समुच्चय | ||
* | * फोर्सिंग (गणित) बात करना: फोर्सिंग (गणित) | ||
* [[फजी सेट]] टॉक: फ़ज़ी | * [[फजी सेट|फजी समुच्चय]] टॉक: फ़ज़ी समुच्चय | ||
*[[आंतरिक समुच्चय सिद्धांत]] वार्ता:आंतरिक समुच्चय सिद्धांत | *[[आंतरिक समुच्चय सिद्धांत]] वार्ता:आंतरिक समुच्चय सिद्धांत | ||
* [[ प्रतिच्छेदन (सेट सिद्धांत) | प्रतिच्छेदन ( | * [[ प्रतिच्छेदन (सेट सिद्धांत) | प्रतिच्छेदन (समुच्चय सिद्धांत)]] टॉक: इंटरसेक्शन (समुच्चय सिद्धांत) | ||
*रचनात्मक ब्रह्मांड वार्ता:रचनात्मक ब्रह्मांड | *रचनात्मक ब्रह्मांड वार्ता:रचनात्मक ब्रह्मांड | ||
* [[एल(आर)]] टॉक:एल(आर) | * [[एल(आर)]] टॉक:एल(आर) | ||
* [[बड़ी कार्डिनल संपत्ति]] टॉक: बड़ी कार्डिनल | * [[बड़ी कार्डिनल संपत्ति|बड़ी कार्डिनल प्रोपर्टी]] टॉक: बड़ी कार्डिनल प्रोपर्टी | ||
* | * समुच्चय सिद्धांत (संगीत) टॉक: समुच्चय सिद्धांत (संगीत) | ||
* [[क्रमसूचक संख्या]] टॉक: ऑर्डिनल नंबर | * [[क्रमसूचक संख्या]] टॉक: ऑर्डिनल नंबर | ||
** अनंत अवरोही श्रृंखला टॉक: अनंत अवरोही श्रृंखला | ** अनंत अवरोही श्रृंखला टॉक: अनंत अवरोही श्रृंखला | ||
| Line 218: | Line 217: | ||
**[[उत्तराधिकारी क्रम]]वाचक वार्ता:उत्तराधिकारी क्रमवाचक | **[[उत्तराधिकारी क्रम]]वाचक वार्ता:उत्तराधिकारी क्रमवाचक | ||
** [[ट्रांसफिनिट इंडक्शन]] टॉक: ट्रांसफिनिट इंडक्शन | ** [[ट्रांसफिनिट इंडक्शन]] टॉक: ट्रांसफिनिट इंडक्शन | ||
*** | ***∈-प्रेरण | ||
** [[अच्छी तरह से स्थापित सेट]] टॉक: अच्छी तरह से स्थापित | ** [[अच्छी तरह से स्थापित सेट|सही विधि स्थापित समुच्चय]] टॉक: अच्छी तरह से स्थापित समुच्चय | ||
** | ** सुव्यवस्थित | ||
* पावर | * पावर समुच्चय टॉक: पावर समुच्चय | ||
* रसेल का विरोधाभास टॉक: रसेल का विरोधाभास | * रसेल का विरोधाभास टॉक: रसेल का विरोधाभास | ||
* | * समुच्चय सिद्धांत टॉक: समुच्चय सिद्धांत | ||
** वैकल्पिक | ** वैकल्पिक समुच्चय सिद्धांत टॉक: वैकल्पिक समुच्चय सिद्धांत | ||
** [[स्वयंसिद्ध समुच्चय सिद्धांत]] टॉक: स्वयंसिद्ध समुच्चय सिद्धांत | ** [[स्वयंसिद्ध समुच्चय सिद्धांत]] टॉक: स्वयंसिद्ध समुच्चय सिद्धांत | ||
** क्रिपके-प्लेटक मूत्र | ** क्रिपके-प्लेटक मूत्र अवयवों के साथ समुच्चय सिद्धांत टॉक: क्रिपके-प्लेटक मूत्र अवयवों के साथ समुच्चय सिद्धांत | ||
** मोर्स-केली | ** मोर्स-केली समुच्चय सिद्धांत टॉक: मोर्स-केली समुच्चय सिद्धांत | ||
** नाइव | ** नाइव समुच्चय सिद्धांत टॉक: नाइव समुच्चय सिद्धांत | ||
** [[नई नींव]] | ** [[नई नींव|नई मूलभूत]] | ||
** [[सकारात्मक समुच्चय सिद्धांत]] वार्ता: | ** [[सकारात्मक समुच्चय सिद्धांत|धनात्मक समुच्चय सिद्धांत]] वार्ता:धनात्मक समुच्चय सिद्धांत | ||
** ज़र्मेलो-फ़्रैन्केल | ** ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत टॉक: ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत | ||
** [[ज़र्मेलो सेट सिद्धांत]] टॉक: ज़र्मेलो | ** [[ज़र्मेलो सेट सिद्धांत|ज़र्मेलो समुच्चय सिद्धांत]] टॉक: ज़र्मेलो समुच्चय सिद्धांत | ||
* [[सेट (गणित)]] टॉक: | * [[सेट (गणित)|समुच्चय (गणित)]] टॉक: समुच्चय (गणित) | ||
* | * समुच्चय के बीजगणित में सरल प्रमेय टॉक: समुच्चय के बीजगणित में सरल प्रमेय | ||
* [[सबसेट]] टॉक: | * [[सबसेट|सबसमुच्चय]] टॉक: सबसमुच्चय | ||
* Θ ( | * Θ (समुच्चय सिद्धांत) टॉक:Θ (समुच्चय सिद्धांत) | ||
* | * ट्री ([[वर्णनात्मक समुच्चय सिद्धांत]]) टॉक: [[वृक्ष (वर्णनात्मक समुच्चय सिद्धांत)|ट्री (वर्णनात्मक समुच्चय सिद्धांत)]] | ||
* [[वृक्ष (सेट सिद्धांत)]] टॉक: | * [[वृक्ष (सेट सिद्धांत)|ट्री (समुच्चय सिद्धांत)]] टॉक: ट्री (समुच्चय सिद्धांत) | ||
* [[ संघ (सेट सिद्धांत) | | * [[ संघ (सेट सिद्धांत) |यूनियन (समुच्चय सिद्धांत)]] टॉक: यूनियन (समुच्चय सिद्धांत) | ||
* वॉन न्यूमैन ब्रह्मांड टॉक: वॉन न्यूमैन ब्रह्मांड | * वॉन न्यूमैन ब्रह्मांड टॉक: वॉन न्यूमैन ब्रह्मांड | ||
* | *शून्य शएआरपी | ||
==वर्णनात्मक समुच्चय सिद्धांत== | ==वर्णनात्मक समुच्चय सिद्धांत == | ||
*विश्लेषणात्मक पदानुक्रम | *विश्लेषणात्मक पदानुक्रम | ||
| Line 249: | Line 248: | ||
==बड़े कार्डिनल== | ==बड़े कार्डिनल== | ||
* | *लगभग [[रैमसे कार्डिनल]] | ||
*एर्दोस कार्डिनल | *एर्दोस कार्डिनल | ||
*विस्तारयोग्य कार्डिनल | *विस्तारयोग्य कार्डिनल | ||
*विशाल कार्डिनल | *विशाल कार्डिनल | ||
*हाइपर-[[ वुड के कार्डिनल ]] | *हाइपर-[[ वुड के कार्डिनल ]] | ||
* | *[[बहुत बड़ा कार्डिनल|अप्राप्य कार्डिनल]] | ||
*अनिर्वचनीय कार्डिनल | *अनिर्वचनीय कार्डिनल | ||
*[[कार्डिनल आँखें]] | *[[कार्डिनल आँखें|महलो कार्डिनल]] | ||
*मापनीय कार्डिनल | *मापनीय कार्डिनल | ||
*[[एन-विशाल कार्डिनल]] | *[[एन-विशाल कार्डिनल]] | ||
| Line 263: | Line 262: | ||
*[[उल्लेखनीय कार्डिनल]] | *[[उल्लेखनीय कार्डिनल]] | ||
*[[शेला कार्डिनल]] | *[[शेला कार्डिनल]] | ||
* | *[[मापने योग्य कार्डिनल]] | ||
*दृढ़ता से दुर्गम कार्डिनल | *दृढ़ता से दुर्गम कार्डिनल | ||
*[[सूक्ष्म कार्डिनल]] | *[[सूक्ष्म कार्डिनल]] | ||
| Line 269: | Line 268: | ||
*[[सुपरस्ट्रॉन्ग कार्डिनल]] | *[[सुपरस्ट्रॉन्ग कार्डिनल]] | ||
*[[पूरी तरह से अवर्णनीय कार्डिनल]] | *[[पूरी तरह से अवर्णनीय कार्डिनल]] | ||
*[[कमजोर रूप से कॉम्पैक्ट कार्डिनल]] | *[[कमजोर रूप से कॉम्पैक्ट कार्डिनल|अशक्त कॉम्पैक्ट कार्डिनल]] | ||
* | *अशक्त [[ हाइपर-वुड का कार्डिनल |हाइपर-वुड का कार्डिनल]] | ||
*[[कमजोर रूप से दुर्गम कार्डिनल]] | *[[कमजोर रूप से दुर्गम कार्डिनल|अशक्त दुर्गम कार्डिनल]] | ||
*वुडिन कार्डिनल | *वुडिन कार्डिनल | ||
* | *[[अप्रभावी कार्डिनल]] | ||
==पुनरावर्तन सिद्धांत== | ==पुनरावर्तन सिद्धांत== | ||
* | *एंट्सचीडुंग्स समस्या | ||
*[[निर्णय समस्या]] | *[[निर्णय समस्या]] | ||
*निर्णायकता (तर्क) | *निर्णायकता (तर्क) | ||
*[[चर्च-ट्यूरिंग थीसिस]] | *[[चर्च-ट्यूरिंग थीसिस]] | ||
*[[गणना]] योग्य कार्य | *[[गणना]] योग्य कार्य | ||
** | **एल्गोरिदम | ||
**पुनरावृत्ति | **पुनरावृत्ति | ||
**[[आदिम पुनरावर्ती कार्य]] | **[[आदिम पुनरावर्ती कार्य|मौलिक पुनरावर्ती कार्य]] | ||
**[[ऑपरेटर में]] | **[[ऑपरेटर में]] | ||
**[[एकरमैन फ़ंक्शन]] | **[[एकरमैन फ़ंक्शन|एकरमैन फलन]] | ||
**[[ट्यूरिंग मशीन]] | **[[ट्यूरिंग मशीन]] | ||
**[[रुकने की समस्या]] | **[[रुकने की समस्या]] | ||
| Line 298: | Line 297: | ||
**[[पोस्ट पत्राचार समस्या]] | **[[पोस्ट पत्राचार समस्या]] | ||
*क्लीन का [[प्रत्यावर्तन]] प्रमेय | *क्लीन का [[प्रत्यावर्तन]] प्रमेय | ||
*पुनरावर्ती रूप से गणना योग्य | *पुनरावर्ती रूप से गणना योग्य समुच्चय | ||
**[[पुनरावर्ती रूप से गणना योग्य भाषा]] | **[[पुनरावर्ती रूप से गणना योग्य भाषा]] | ||
*निर्णय योग्य भाषा | *निर्णय योग्य भाषा | ||
*अनिर्वचनीय भाषा | *अनिर्वचनीय भाषा | ||
* | *राईस प्रमेय | ||
*पोस्ट का प्रमेय | *पोस्ट का प्रमेय | ||
*[[ट्यूरिंग डिग्री]] | *[[ट्यूरिंग डिग्री]] | ||
*[[संख्या सिद्धांत में प्रभावी परिणाम]] | *[[संख्या सिद्धांत में प्रभावी परिणाम]] | ||
*[[डायोफैंटाइन सेट]] | *[[डायोफैंटाइन सेट|डायोफैंटाइन समुच्चय]] | ||
*मटियासेविच का प्रमेय | *मटियासेविच का प्रमेय | ||
*[[समूहों के लिए शब्द समस्या]] | *[[समूहों के लिए शब्द समस्या]] | ||
| Line 312: | Line 311: | ||
*[[उपसंक्रमण सिद्धांत]] | *[[उपसंक्रमण सिद्धांत]] | ||
**प्रेस्बर्गर अंकगणित | **प्रेस्बर्गर अंकगणित | ||
**[[कम्प्यूटेशनल जटिलता सिद्धांत]] | **[[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल समिष्टता सिद्धांत]] | ||
**[[बहुपदी समय फलन]] | **[[बहुपदी समय फलन]] | ||
**[[घातीय समय]] | **[[घातीय समय]] | ||
**[[जटिलता वर्ग]] | **[[जटिलता वर्ग|समिष्टता वर्ग]] | ||
***पी = एनपी समस्या | ***पी = एनपी समस्या | ||
***कुक का प्रमेय | ***कुक का प्रमेय | ||
***[[जटिलता वर्गों की सूची]] | ***[[जटिलता वर्गों की सूची|समिष्टता वर्गों की सूची]] | ||
***[[बहुपद पदानुक्रम]] | ***[[बहुपद पदानुक्रम]] | ||
***घातांकीय पदानुक्रम | ***घातांकीय पदानुक्रम | ||
| Line 351: | Line 350: | ||
*[[अवसंरचनात्मक तर्क]] | *[[अवसंरचनात्मक तर्क]] | ||
**[[संरचनात्मक नियम]] | **[[संरचनात्मक नियम]] | ||
*** | ***अशक्त (तर्क) | ||
***[[संकुचन (तर्क)]] | ***[[संकुचन (तर्क)]] | ||
**रैखिक तर्क | **रैखिक तर्क | ||
***[[अंतर्ज्ञानवादी रैखिक तर्क]] | ***[[अंतर्ज्ञानवादी रैखिक तर्क]] | ||
***[[ प्रमाण जाल ]] | ***[[ प्रमाण जाल | प्रमाण जालक]] | ||
**तर्क को प्रभावित करें | **तर्क को प्रभावित करें | ||
**[[सख्त तर्क]] | **[[सख्त तर्क]] | ||
| Line 361: | Line 360: | ||
*प्रमाण-सैद्धांतिक शब्दार्थ | *प्रमाण-सैद्धांतिक शब्दार्थ | ||
*[[लुडिक्स]] | *[[लुडिक्स]] | ||
*[[सिस्टम एफ]] | *[[सिस्टम एफ|प्रणाली एफ]] | ||
*[[गेरहार्ड जेंटज़न]] | *[[गेरहार्ड जेंटज़न]] | ||
*जेंटज़ेन की संगति प्रमाण | *जेंटज़ेन की संगति प्रमाण | ||
| Line 367: | Line 366: | ||
*[[नॉनफर्स्टऑर्डरिज़ेबिलिटी]] | *[[नॉनफर्स्टऑर्डरिज़ेबिलिटी]] | ||
*व्याख्यात्मकता | *व्याख्यात्मकता | ||
* [[कमजोर व्याख्या]] | * [[कमजोर व्याख्या|अशक्त व्याख्या]] | ||
*[[सहव्याख्यात्मकता]] | *[[सहव्याख्यात्मकता]] | ||
*[[सहनशील क्रम]] | *[[सहनशील क्रम]] | ||
| Line 389: | Line 388: | ||
* [[रचनावादी विश्लेषण]] | * [[रचनावादी विश्लेषण]] | ||
* [[लैम्ब्डा क्यूब]] | * [[लैम्ब्डा क्यूब]] | ||
* | * प्रणाली एफ | ||
*[[टोपोस सिद्धांत का परिचय]] | *[[टोपोस सिद्धांत का परिचय]] | ||
*[[एलएफ (तार्किक ढांचा)]] | *[[एलएफ (तार्किक ढांचा)]] | ||
| Line 401: | Line 400: | ||
*क्रिपके शब्दार्थ | *क्रिपके शब्दार्थ | ||
*[[साहलक्विस्ट फॉर्मूला]] | *[[साहलक्विस्ट फॉर्मूला|साहलक्विस्ट सूत्र]] | ||
*[[आंतरिक बीजगणित]] | *[[आंतरिक बीजगणित]] | ||
==प्रमेय | ==प्रमेय प्रोवर== | ||
*[[प्रथम-क्रम संकल्प]] | *[[प्रथम-क्रम संकल्प]] | ||
*[[स्वचालित प्रमेय सिद्ध करना]] | *[[स्वचालित प्रमेय सिद्ध करना]] | ||
* | *एसीएल2 प्रमेय प्रोवर | ||
*ई समीकरण प्रमेय | *ई समीकरण प्रमेय प्रोवर | ||
*गंडालफ प्रमेय | *गंडालफ प्रमेय प्रोवर | ||
* | *एचओएल प्रमेय प्रोवर | ||
*इसाबेल प्रमेय | *इसाबेल प्रमेय प्रोवर | ||
*[[एलसीएफ प्रमेय कहावत]] | *[[एलसीएफ प्रमेय कहावत|एलसीएफ प्रमेय प्रोवर]] | ||
*ओटर प्रमेय | *ओटर प्रमेय प्रोवर | ||
*[[विरोधाभास प्रमेय कहावत]] | *[[विरोधाभास प्रमेय कहावत|विरोधाभास प्रमेय प्रोवर]] | ||
* | *वैम्पायर प्रमेय कहावत | ||
*[[इंटरैक्टिव प्रमाण प्रणाली]] | *[[इंटरैक्टिव प्रमाण प्रणाली]] | ||
*[[मिज़ार प्रणाली]] | *[[मिज़ार प्रणाली]] | ||
| Line 422: | Line 421: | ||
*कोक | *कोक | ||
== | ==खोज प्रणाली== | ||
*[[स्वचालित गणितज्ञ]] | *[[स्वचालित गणितज्ञ]] | ||
*[[ पाना ]] | *[[ पाना |यूरिस्को]] | ||
==ऐतिहासिक== | ==ऐतिहासिक== | ||
*[[शब्द लेखन]] | *[[शब्द लेखन|बेग्रिफ़्सक्रिफ्ट]] | ||
*[[ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ]] - एलन ट्यूरिंग|एलन ट्यूरिंग की पीएच.डी. थीसिस | *[[ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ]] - एलन ट्यूरिंग|एलन ट्यूरिंग की पीएच.डी. थीसिस | ||
==यह भी देखें | ==यह भी देखें{{Portal|Philosophy}}== | ||
{{Portal|Philosophy}} | |||
*कर्ट गोडेल | *कर्ट गोडेल | ||
*[[अल्फ्रेड टार्स्की]] | *[[अल्फ्रेड टार्स्की]] | ||
*[[सहारों शेलाह]] | *[[सहारों शेलाह]] | ||
[[Category:Created On 20/07/2023]] | [[Category:Created On 20/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Portal templates with redlinked portals]] | |||
Latest revision as of 12:18, 4 August 2023
यह गणितीय तर्क विषयों की सूची है।
पारंपरिक सिलोजिस्टिक तर्क के लिए, तर्क में विषयों की सूची देखें। एल्गोरिदम के अधिक सिद्धांत के लिए संगणनीयता और समिष्टता विषयों की सूची भी देखें।
कार्यशील मूलभूत
- पीनो अभिगृहीत
- ग्यूसेप पीनो
- गणितीय प्रेरण
- नाइव समुच्चय सिद्धांत
- अवयव (गणित)
- सिंगलटन (गणित)
- समुच्चय के बीजगणित में सरल प्रमेय
- समुच्चय का बीजगणित
- सत्ता स्थापित
- रिक्त समुच्चय
- गैर-रिक्त समुच्चय
- रिक्त फलन
- ब्रह्मांड (गणित)
- स्वयंसिद्धीकरण
- स्वयंसिद्ध प्रणाली
- स्वयंसिद्ध स्कीमा
- स्वयंसिद्ध विधि
- औपचारिक व्यवस्था
- गणितीय प्रमाण
- प्रत्यक्ष प्रमाण
- रिडक्टियो एड एब्सर्डम
- एक्सहॉस्टइन प्रमाण
- रचनात्मक प्रमाण
- गैररचनात्मक प्रमाण
- टॉटोलॉजी (तर्क)
- संगति प्रमाण
- विश्लेषण का अंकगणितीकरण
- गणित की मूलभूत
- औपचारिक भाषा
- गणितीय सिद्धांत
- हिल्बर्ट का फलन
- अनिवार्य
- परिभाषित वास्तविक संख्या
- बीजगणितीय तर्क
- अंतरिक्ष द्वंद्वात्मकता
- श्रेणीबद्ध तर्क
मॉडल सिद्धांत
- परिमित मॉडल सिद्धांत
- वर्णनात्मक समिष्टता सिद्धांत
- मॉडल जाँच
- ट्रैखटेनब्रोट का प्रमेय
- कम्प्यूटेबल मॉडल सिद्धांत
- टार्स्की की घातीय फलन समस्या
- अनिर्णय समस्या
- संस्थागत मॉडल सिद्धांत
- गैर-मानक विश्लेषण
- गैर-मानक कलन
- हाइपरइंटेगर
- अतिवास्तविक संख्या
- स्थानांतरण सिद्धांत
- अतिप्रवाह
- प्राथमिक कैलकुलस: अनंतिमल दृष्टिकोण
- गैर-मानक विश्लेषण की आलोचना
- मानक भाग फलन
- समुच्चय सिद्धान्त
- फोर्सिंग (गणित)
- क्रिपके शब्दार्थ
- सामान्य फ्रेम
- विधेय तर्क
- प्रथम-क्रम तर्क
- असीम तर्क
- कई प्रकार के तर्क
- उच्च-क्रम तर्क
- लिंडस्ट्रॉम परिमाणक
- दूसरे क्रम का तर्क
- प्रथम-क्रम तर्क
- ध्वनि प्रमेय
- गोडेल की पूर्णता प्रमेय
- गोडेल की पूर्णता प्रमेय का मूल प्रमाण
- सघनता प्रमेय
- लोवेनहेम-स्कोलेम प्रमेय
- स्कोलेम का विरोधाभास
- गोडेल की अपूर्णता प्रमेय
- संरचना (गणितीय तर्क)
- व्याख्या (तर्क)
- उपसंरचना (गणित)
- प्राथमिक उपसंरचना
- गैर-मानक मॉडल
- परमाणु मॉडल (गणितीय तर्क)
- प्रधान मॉडल
- संतृप्त मॉडल
- अस्तित्वगत रूप से संवृत मॉडल
- अल्ट्राप्रोडक्ट
- आयु (मॉडल सिद्धांत)
- समामेलन प्रोपर्टी
- ह्रुशोव्स्की निर्माण
- संभावित समरूपता
- सिद्धांत (गणितीय तर्क)
- संपूर्ण सिद्धांत
- वॉट का परीक्षण
- मॉर्ले की श्रेणीबद्धता प्रमेय
- स्थिरता स्पेक्ट्रम
- मॉर्ले रैंक
- स्थिर सिद्धांत
- फोर्किंग विस्तार
- दृढ़ता से न्यूनतम सिद्धांत
- स्थिर समूह
- वश समूह
- ओ-न्यूनतम सिद्धांत
- अशक्त ओ-न्यूनतम संरचना
- सी-न्यूनतम सिद्धांत
- एक सिद्धांत का स्पेक्ट्रम
- अटकलबाजी
- स्थिरता स्पेक्ट्रम
- मॉडल संपूर्ण सिद्धांत
- प्रथम-क्रम सिद्धांतों की सूची
- अपरिवर्तन विस्तार
- प्राथमिक कक्षा
- छद्मप्राथमिक वर्ग
- शक्ति (गणितीय तर्क)
- संपूर्ण सिद्धांत
- विभेदित रूप से संवृत क्षेत्र
- घातांकीय क्षेत्र
- एक्स-ग्रोथेंडिक प्रमेय
- एक्स-कोचेन प्रमेय
- पीनो अभिगृहीत
- अंकगणित का गैर-मानक मॉडल
- प्रथम-क्रम अंकगणित
- द्वितीय क्रम का अंकगणित
- प्रेस्बर्गर अंकगणित
- विल्की का प्रमेय
- कार्यात्मक विधेय
- टी-स्कीमा
- आगे-पीछे की विधि
- बारवाइज कॉम्पैक्टनेस प्रमेय
- स्कोलेम सामान्य रूप
- लिंडेनबाम-टार्स्की बीजगणित
- लोब का प्रमेय
- अंकगणितीय समुच्चय
- परिभाषित समुच्चय
- एरेनफ्यूच्ट-फ्रैस्से खेल
- हरब्रांड व्याख्या / हरब्रांड संरचना
- काल्पनिक अवयव
- अभेद्य
- व्याख्या (मॉडल सिद्धांत) / व्याख्या योग्य संरचना
- प्रीजियोमेट्री (मॉडल सिद्धांत)
- क्वांटिफ़ायर उन्मूलन
- घटाना
- हस्ताक्षर (तर्क)
- स्कोलेम सामान्य रूप
- प्रकार (मॉडल सिद्धांत)
- ज़ारिस्की ज्यामिति
समुच्चय सिद्धांत
- समुच्चयों का बीजगणित टॉक: समुच्चयों का बीजगणित
- विकल्प का सिद्धांत : विकल्प का सिद्धांत
- गणनीय विकल्प का सिद्धांत टॉक: गणनीय विकल्प का सिद्धांत
- आश्रित विकल्प का सिद्धांत टॉक: आश्रित विकल्प का सिद्धांत
- ज़ोर्न की लेम्मा टॉक: ज़ोर्न की लेम्मा
- बूलियन बीजगणित (संरचना)
- बूलियन-मूल्यवान मॉडल टॉक: बूलियन-मूल्यवान मॉडल
- बुराली-फोर्टी विरोधाभास टॉक: बुराली-फोर्टी विरोधाभास
- कैंटर की आगे-पीछे की विधि टॉक:कैंटर की आगे-पीछे की विधि
- कैंटर का विकर्ण तर्क टॉक: कैंटर का विकर्ण तर्क
- कैंटर का पहला बेशुमार सबूत टॉक: कैंटर का पहला बेशुमार सबूत
- कैंटर की प्रमेय वार्ता:कैंटर की प्रमेय
- कैंटर-बर्नस्टीन-श्रोएडर प्रमेय टॉक: कैंटर-बर्नस्टीन-श्रोएडर प्रमेय
- प्रमुखता टॉक: कार्डिनैलिटी
- अलेफ़ संख्या टॉक: एलेफ नंबर
- एलेफ़-अशक्त टॉक: एलेफ़-एक
- एलेफ़-वन टॉक: एलेफ़-वन
- बेथ संख्या टॉक: बेथ नंबर
- मूलभूती संख्या टॉक: कार्डिनल नंबर
- हार्टोग संख्या टॉक: हार्टोग्स नंबर
- अलेफ़ संख्या टॉक: एलेफ नंबर
- कार्टेशियन उत्पाद टॉक: कार्टेशियन उत्पाद
- वर्ग (समुच्चय सिद्धांत) टॉक: क्लास (समुच्चय सिद्धांत)
- पूरक (समुच्चय सिद्धांत) टॉक: पूरक (समुच्चय सिद्धांत)
- पूर्ण बूलियन बीजगणित टॉक: पूर्ण बूलियन बीजगणित
- सातत्य (समुच्चय सिद्धांत) टॉक: सातत्य (समुच्चय सिद्धांत)
- सुसलिन की समस्या बात: सुसलिन की समस्या
- सातत्य परिकल्पना टॉक: सातत्य परिकल्पना
- गणनीय समुच्चय टॉक:गणनीय समुच्चय
- वर्णनात्मक समुच्चय सिद्धांत टॉक: वर्णनात्मक समुच्चय सिद्धांत
- विश्लेषणात्मक समुच्चय टॉक: विश्लेषणात्मक समुच्चय
- विश्लेषणात्मक पदानुक्रम टॉक:विश्लेषणात्मक पदानुक्रम
- बोरेल समतुल्य संबंध टॉक: बोरेल समतुल्य संबंध
- इन्फिनिटी-बोरेल समुच्चय टॉक: इन्फिनिटी-बोरेल समुच्चय
- लाइटफेस विश्लेषणात्मक खेल टॉक: लाइटफेस एनालिटिक गेम
- परफेक्ट समुच्चय प्रॉपर्टी टॉक: परफेक्ट समुच्चय प्रॉपर्टी
- पोलिश स्थान टॉक: पोलिश समिष्ट
- प्रीवेल ऑर्डर टॉक: प्रीवेलऑर्डरिंग
- प्रोजेक्टिव समुच्चय टॉक: प्रोजेक्टिव समुच्चय
- बेयर टॉक की प्रोपर्टी: बेयर की प्रोपर्टी
- एकरूपीकरण (समुच्चय सिद्धांत) टॉक: एकरूपीकरण (समुच्चय सिद्धांत)
- सार्वभौमिक रूप से मापने योग्य समुच्चय टॉक: सार्वभौमिक रूप से मापने योग्य समुच्चय
- दृढ़ संकल्प वार्ता:दृढ़ संकल्प
- एडी+ टॉक: एडी प्लस
- नियति का सिद्धांत बात: निर्धारण का सिद्धांत
- प्रक्षेप्य नियति का अभिगृहीत बात: प्रक्षेप्य नियति का अभिगृहीत
- वास्तविक नियति का सूक्ति बात: वास्तविक नियति का सूक्ति
- रिक्त समुच्चय टॉक: रिक्त समुच्चय
- फोर्सिंग (गणित) बात करना: फोर्सिंग (गणित)
- फजी समुच्चय टॉक: फ़ज़ी समुच्चय
- आंतरिक समुच्चय सिद्धांत वार्ता:आंतरिक समुच्चय सिद्धांत
- प्रतिच्छेदन (समुच्चय सिद्धांत) टॉक: इंटरसेक्शन (समुच्चय सिद्धांत)
- रचनात्मक ब्रह्मांड वार्ता:रचनात्मक ब्रह्मांड
- एल(आर) टॉक:एल(आर)
- बड़ी कार्डिनल प्रोपर्टी टॉक: बड़ी कार्डिनल प्रोपर्टी
- समुच्चय सिद्धांत (संगीत) टॉक: समुच्चय सिद्धांत (संगीत)
- क्रमसूचक संख्या टॉक: ऑर्डिनल नंबर
- अनंत अवरोही श्रृंखला टॉक: अनंत अवरोही श्रृंखला
- क्रमसूचक सीमा टॉक: लिमिट ऑर्डिनल
- उत्तराधिकारी क्रमवाचक वार्ता:उत्तराधिकारी क्रमवाचक
- ट्रांसफिनिट इंडक्शन टॉक: ट्रांसफिनिट इंडक्शन
- ∈-प्रेरण
- सही विधि स्थापित समुच्चय टॉक: अच्छी तरह से स्थापित समुच्चय
- सुव्यवस्थित
- पावर समुच्चय टॉक: पावर समुच्चय
- रसेल का विरोधाभास टॉक: रसेल का विरोधाभास
- समुच्चय सिद्धांत टॉक: समुच्चय सिद्धांत
- वैकल्पिक समुच्चय सिद्धांत टॉक: वैकल्पिक समुच्चय सिद्धांत
- स्वयंसिद्ध समुच्चय सिद्धांत टॉक: स्वयंसिद्ध समुच्चय सिद्धांत
- क्रिपके-प्लेटक मूत्र अवयवों के साथ समुच्चय सिद्धांत टॉक: क्रिपके-प्लेटक मूत्र अवयवों के साथ समुच्चय सिद्धांत
- मोर्स-केली समुच्चय सिद्धांत टॉक: मोर्स-केली समुच्चय सिद्धांत
- नाइव समुच्चय सिद्धांत टॉक: नाइव समुच्चय सिद्धांत
- नई मूलभूत
- धनात्मक समुच्चय सिद्धांत वार्ता:धनात्मक समुच्चय सिद्धांत
- ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत टॉक: ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत
- ज़र्मेलो समुच्चय सिद्धांत टॉक: ज़र्मेलो समुच्चय सिद्धांत
- समुच्चय (गणित) टॉक: समुच्चय (गणित)
- समुच्चय के बीजगणित में सरल प्रमेय टॉक: समुच्चय के बीजगणित में सरल प्रमेय
- सबसमुच्चय टॉक: सबसमुच्चय
- Θ (समुच्चय सिद्धांत) टॉक:Θ (समुच्चय सिद्धांत)
- ट्री (वर्णनात्मक समुच्चय सिद्धांत) टॉक: ट्री (वर्णनात्मक समुच्चय सिद्धांत)
- ट्री (समुच्चय सिद्धांत) टॉक: ट्री (समुच्चय सिद्धांत)
- यूनियन (समुच्चय सिद्धांत) टॉक: यूनियन (समुच्चय सिद्धांत)
- वॉन न्यूमैन ब्रह्मांड टॉक: वॉन न्यूमैन ब्रह्मांड
- शून्य शएआरपी
वर्णनात्मक समुच्चय सिद्धांत
- विश्लेषणात्मक पदानुक्रम
बड़े कार्डिनल
- लगभग रैमसे कार्डिनल
- एर्दोस कार्डिनल
- विस्तारयोग्य कार्डिनल
- विशाल कार्डिनल
- हाइपर-वुड के कार्डिनल
- अप्राप्य कार्डिनल
- अनिर्वचनीय कार्डिनल
- महलो कार्डिनल
- मापनीय कार्डिनल
- एन-विशाल कार्डिनल
- रैमसे कार्डिनल
- रैंक-में-रैंक
- उल्लेखनीय कार्डिनल
- शेला कार्डिनल
- मापने योग्य कार्डिनल
- दृढ़ता से दुर्गम कार्डिनल
- सूक्ष्म कार्डिनल
- सुपरकॉम्पैक्ट कार्डिनल
- सुपरस्ट्रॉन्ग कार्डिनल
- पूरी तरह से अवर्णनीय कार्डिनल
- अशक्त कॉम्पैक्ट कार्डिनल
- अशक्त हाइपर-वुड का कार्डिनल
- अशक्त दुर्गम कार्डिनल
- वुडिन कार्डिनल
- अप्रभावी कार्डिनल
पुनरावर्तन सिद्धांत
- एंट्सचीडुंग्स समस्या
- निर्णय समस्या
- निर्णायकता (तर्क)
- चर्च-ट्यूरिंग थीसिस
- गणना योग्य कार्य
- क्लीन का प्रत्यावर्तन प्रमेय
- पुनरावर्ती रूप से गणना योग्य समुच्चय
- निर्णय योग्य भाषा
- अनिर्वचनीय भाषा
- राईस प्रमेय
- पोस्ट का प्रमेय
- ट्यूरिंग डिग्री
- संख्या सिद्धांत में प्रभावी परिणाम
- डायोफैंटाइन समुच्चय
- मटियासेविच का प्रमेय
- समूहों के लिए शब्द समस्या
- अंकगणितीय पदानुक्रम
- उपसंक्रमण सिद्धांत
- प्रेस्बर्गर अंकगणित
- कम्प्यूटेशनल समिष्टता सिद्धांत
- बहुपदी समय फलन
- घातीय समय
- समिष्टता वर्ग
- पी = एनपी समस्या
- कुक का प्रमेय
- समिष्टता वर्गों की सूची
- बहुपद पदानुक्रम
- घातांकीय पदानुक्रम
- एनपी-पूर्ण
- समय पदानुक्रम प्रमेय
- अंतरिक्ष पदानुक्रम प्रमेय
- प्राकृतिक प्रमाण
- हाइपरकंप्यूटेशन
- रोज़सा पीटर
- अलोंजो चर्च
- एमिल पोस्ट
- एलन ट्यूरिंग
- जैक्स हेरब्रांड
- हास्केल करी
- स्टीफन कोल क्लेन
- परिभाषित वास्तविक संख्या
प्रमाण सिद्धांत
- मेटामैथमैटिक्स
- कट-उन्मूलन
- टार्स्की की अपरिभाष्यता प्रमेय
- विकर्ण लेम्मा
- प्रयोज्यता तर्क
- व्याख्यात्मक तर्क
- अनुक्रम
- अनुक्रमिक गणना
- विश्लेषणात्मक प्रमाण
- संरचनात्मक प्रमाण सिद्धांत
- स्व-सत्यापन सिद्धांत
- अवसंरचनात्मक तर्क
- संरचनात्मक नियम
- अशक्त (तर्क)
- संकुचन (तर्क)
- रैखिक तर्क
- तर्क को प्रभावित करें
- सख्त तर्क
- प्रासंगिक तर्क
- संरचनात्मक नियम
- प्रमाण-सैद्धांतिक शब्दार्थ
- लुडिक्स
- प्रणाली एफ
- गेरहार्ड जेंटज़न
- जेंटज़ेन की संगति प्रमाण
- उल्टा गणित
- नॉनफर्स्टऑर्डरिज़ेबिलिटी
- व्याख्यात्मकता
- अशक्त व्याख्या
- सहव्याख्यात्मकता
- सहनशील क्रम
- कोटोलरेंट क्रम
- निगमन प्रमेय
- सर्क्वेंट कैलकुलस
गणितीय रचनावाद
- अरचनात्मक प्रमाण
- अस्तित्व प्रमेय
- अंतर्ज्ञानवादी तर्क
- अंतर्ज्ञानवादी प्रकार का सिद्धांत
- प्रकार सिद्धांत
- लैम्ब्डा कैलकुलस
- चर्च-रोसेर प्रमेय
- बस लैम्ब्डा कैलकुलस टाइप किया गया
- टाइप किया गया लैम्ब्डा कैलकुलस
- करी-हावर्ड समरूपता
- निर्माणों की गणना
- रचनावादी विश्लेषण
- लैम्ब्डा क्यूब
- प्रणाली एफ
- टोपोस सिद्धांत का परिचय
- एलएफ (तार्किक ढांचा)
- कम्प्यूटेबिलिटी तर्क
- गणनायोग्य माप सिद्धांत
- अंतिमवाद
- अतिअंतर्ज्ञानवाद
- लुइत्ज़ेन एगबर्टस जान ब्रौवर
मॉडल तर्क
- क्रिपके शब्दार्थ
- साहलक्विस्ट सूत्र
- आंतरिक बीजगणित
प्रमेय प्रोवर
- प्रथम-क्रम संकल्प
- स्वचालित प्रमेय सिद्ध करना
- एसीएल2 प्रमेय प्रोवर
- ई समीकरण प्रमेय प्रोवर
- गंडालफ प्रमेय प्रोवर
- एचओएल प्रमेय प्रोवर
- इसाबेल प्रमेय प्रोवर
- एलसीएफ प्रमेय प्रोवर
- ओटर प्रमेय प्रोवर
- विरोधाभास प्रमेय प्रोवर
- वैम्पायर प्रमेय कहावत
- इंटरैक्टिव प्रमाण प्रणाली
- मिज़ार प्रणाली
- क्यूईडी परियोजना
- कोक
खोज प्रणाली
ऐतिहासिक
- बेग्रिफ़्सक्रिफ्ट
- ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ - एलन ट्यूरिंग|एलन ट्यूरिंग की पीएच.डी. थीसिस
यह भी देखें
- कर्ट गोडेल
- अल्फ्रेड टार्स्की
- सहारों शेलाह
