गणितीय तर्क विषयों की सूची

यह गणितीय तर्क विषयों की एक सूची है।

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

कार्यशील बुनियाद

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

मॉडल सिद्धांत

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

सेट सिद्धांत

• समुच्चयों का बीजगणित टॉक: समुच्चयों का बीजगणित
• पसंद का सिद्धांत बात: पसंद का सिद्धांत
  • गणनीय पसंद का सिद्धांत टॉक: गणनीय विकल्प का सिद्धांत
  • आश्रित पसंद का सिद्धांत टॉक: आश्रित विकल्प का सिद्धांत
  • ज़ोर्न की लेम्मा टॉक: ज़ोर्न की लेम्मा
• बूलियन बीजगणित (संरचना)
• बूलियन-मूल्यवान मॉडल टॉक: बूलियन-मूल्यवान मॉडल
• बुराली-फोर्टी विरोधाभास टॉक: बुराली-फोर्टी विरोधाभास
• कैंटर की आगे-पीछे की विधि टॉक:कैंटर की आगे-पीछे की विधि
• कैंटर का विकर्ण तर्क टॉक: कैंटर का विकर्ण तर्क
• कैंटर का पहला बेशुमार सबूत टॉक: कैंटर का पहला बेशुमार सबूत
• कैंटर की प्रमेय वार्ता:कैंटर की प्रमेय
• कैंटर-बर्नस्टीन-श्रोएडर प्रमेय टॉक: कैंटर-बर्नस्टीन-श्रोएडर प्रमेय
• प्रमुखता टॉक: कार्डिनैलिटी
  • अलेफ़ संख्या टॉक: एलेफ नंबर
    • aleph-अशक्त टॉक: aleph-एक
    • एलेफ़-वन टॉक: एलेफ़-वन
  • बेथ संख्या टॉक: बेथ नंबर
  • बुनियादी संख्या टॉक: कार्डिनल नंबर
  • हार्टोग संख्या टॉक: हार्टोग्स नंबर
• कार्टेशियन उत्पाद टॉक: कार्टेशियन उत्पाद
• वर्ग (सेट सिद्धांत) टॉक: क्लास (सेट थ्योरी)
• पूरक (सेट सिद्धांत) टॉक: पूरक (सेट सिद्धांत)
• पूर्ण बूलियन बीजगणित टॉक: पूर्ण बूलियन बीजगणित
• सातत्य (सेट सिद्धांत) टॉक: सातत्य (सेट सिद्धांत)
  • सुसलिन की समस्या बात: सुसलिन की समस्या
• सातत्य परिकल्पना टॉक: सातत्य परिकल्पना
• गणनीय सेट टॉक:गणनीय सेट
• वर्णनात्मक सेट सिद्धांत टॉक: वर्णनात्मक सेट सिद्धांत
  • विश्लेषणात्मक सेट टॉक: विश्लेषणात्मक सेट
  • विश्लेषणात्मक पदानुक्रम टॉक:विश्लेषणात्मक पदानुक्रम
  • बोरेल समतुल्य संबंध टॉक: बोरेल समतुल्य संबंध
  • इन्फिनिटी-बोरेल सेट टॉक: इन्फिनिटी-बोरेल सेट
  • लाइटफेस विश्लेषणात्मक खेल टॉक: लाइटफेस एनालिटिक गेम
  • परफेक्ट सेट प्रॉपर्टी टॉक: परफेक्ट सेट प्रॉपर्टी
  • पोलिश स्थान टॉक: पोलिश स्पेस
  • प्रीवेल ऑर्डर टॉक: प्रीवेलऑर्डरिंग
  • प्रोजेक्टिव सेट टॉक: प्रोजेक्टिव सेट
  • बेयर टॉक की संपत्ति: बेयर की संपत्ति
  • एकरूपीकरण (सेट सिद्धांत) टॉक: एकरूपीकरण (सेट सिद्धांत)
  • सार्वभौमिक रूप से मापने योग्य सेट टॉक: सार्वभौमिक रूप से मापने योग्य सेट
• दृढ़ संकल्प वार्ता:दृढ़ संकल्प
  • एडी+ टॉक: एडी प्लस
  • नियति का सिद्धांत बात: निर्धारण का सिद्धांत
  • प्रक्षेप्य नियति का अभिगृहीत बात: प्रक्षेप्य नियति का अभिगृहीत
  • वास्तविक नियति का सूक्ति बात: वास्तविक नियति का सूक्ति
• खाली सेट टॉक: खाली सेट
• जबरदस्ती (गणित) बात करना: जबरदस्ती (गणित)
• फजी सेट टॉक: फ़ज़ी सेट
• आंतरिक समुच्चय सिद्धांत वार्ता:आंतरिक समुच्चय सिद्धांत
• प्रतिच्छेदन (सेट सिद्धांत) टॉक: इंटरसेक्शन (सेट थ्योरी)
• रचनात्मक ब्रह्मांड वार्ता:रचनात्मक ब्रह्मांड
• एल(आर) टॉक:एल(आर)
• बड़ी कार्डिनल संपत्ति टॉक: बड़ी कार्डिनल संपत्ति
• सेट थ्योरी (संगीत) टॉक: सेट थ्योरी (संगीत)
• क्रमसूचक संख्या टॉक: ऑर्डिनल नंबर
  • अनंत अवरोही श्रृंखला टॉक: अनंत अवरोही श्रृंखला
  • क्रमसूचक सीमा टॉक: लिमिट ऑर्डिनल
  • उत्तराधिकारी क्रमवाचक वार्ता:उत्तराधिकारी क्रमवाचक
  • ट्रांसफिनिट इंडक्शन टॉक: ट्रांसफिनिट इंडक्शन
    • ∈-प्रेरण वार्ता:∈-प्रेरण
  • अच्छी तरह से स्थापित सेट टॉक: अच्छी तरह से स्थापित सेट
  • सुव्यवस्थित बात: सुव्यवस्थित
• पावर सेट टॉक: पावर सेट
• रसेल का विरोधाभास टॉक: रसेल का विरोधाभास
• सेट थ्योरी टॉक: सेट थ्योरी
  • वैकल्पिक सेट सिद्धांत टॉक: वैकल्पिक सेट सिद्धांत
  • स्वयंसिद्ध समुच्चय सिद्धांत टॉक: स्वयंसिद्ध समुच्चय सिद्धांत
  • क्रिपके-प्लेटक मूत्र तत्वों के साथ सेट सिद्धांत टॉक: क्रिपके-प्लेटक मूत्र तत्वों के साथ सेट सिद्धांत
  • मोर्स-केली सेट सिद्धांत टॉक: मोर्स-केली सेट सिद्धांत
  • नाइव सेट थ्योरी टॉक: नाइव सेट थ्योरी
  • नई नींव की बात: नई नींव
  • सकारात्मक समुच्चय सिद्धांत वार्ता:सकारात्मक समुच्चय सिद्धांत
  • ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत टॉक: ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत
  • ज़र्मेलो सेट सिद्धांत टॉक: ज़र्मेलो सेट सिद्धांत
• सेट (गणित) टॉक: सेट (गणित)
• सेट के बीजगणित में सरल प्रमेय टॉक: सेट के बीजगणित में सरल प्रमेय
• सबसेट टॉक: सबसेट
• Θ (सेट सिद्धांत) टॉक:Θ (सेट सिद्धांत)
• वृक्ष (वर्णनात्मक समुच्चय सिद्धांत) टॉक: वृक्ष (वर्णनात्मक समुच्चय सिद्धांत)
• वृक्ष (सेट सिद्धांत) टॉक: वृक्ष (सेट सिद्धांत)
• संघ (सेट सिद्धांत) टॉक: यूनियन (सेट थ्योरी)
• वॉन न्यूमैन ब्रह्मांड टॉक: वॉन न्यूमैन ब्रह्मांड
• शून्य तीखी बात:शून्य शएआरपी

वर्णनात्मक समुच्चय सिद्धांत

• विश्लेषणात्मक पदानुक्रम

बड़े कार्डिनल

• [[लगभग रैमसे कार्डिनल]]
• एर्दोस कार्डिनल
• विस्तारयोग्य कार्डिनल
• विशाल कार्डिनल
• हाइपर-वुड के कार्डिनल
• [[बहुत बड़ा कार्डिनल]]
• अनिर्वचनीय कार्डिनल
• कार्डिनल आँखें
• मापनीय कार्डिनल
• एन-विशाल कार्डिनल
• रैमसे कार्डिनल
• रैंक-में-रैंक
• उल्लेखनीय कार्डिनल
• शेला कार्डिनल
• [[मापने योग्य कार्डिनल]]
• दृढ़ता से दुर्गम कार्डिनल
• सूक्ष्म कार्डिनल
• सुपरकॉम्पैक्ट कार्डिनल
• सुपरस्ट्रॉन्ग कार्डिनल
• पूरी तरह से अवर्णनीय कार्डिनल
• कमजोर रूप से कॉम्पैक्ट कार्डिनल
• कमज़ोर हाइपर-वुड का कार्डिनल
• कमजोर रूप से दुर्गम कार्डिनल
• वुडिन कार्डिनल
• [[अप्रभावी कार्डिनल]]

पुनरावर्तन सिद्धांत

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

प्रमाण सिद्धांत

• मेटामैथमैटिक्स
• कट-उन्मूलन
• टार्स्की की अपरिभाष्यता प्रमेय
• विकर्ण लेम्मा
• प्रयोज्यता तर्क
• व्याख्यात्मक तर्क
• अनुक्रम
• अनुक्रमिक गणना
• विश्लेषणात्मक प्रमाण
• संरचनात्मक प्रमाण सिद्धांत
• स्व-सत्यापन सिद्धांत
• अवसंरचनात्मक तर्क
  • संरचनात्मक नियम
    • कमजोर होना (तर्क)
    • संकुचन (तर्क)
  • रैखिक तर्क
    • अंतर्ज्ञानवादी रैखिक तर्क
    • प्रमाण जाल
  • तर्क को प्रभावित करें
  • सख्त तर्क
  • प्रासंगिक तर्क
• प्रमाण-सैद्धांतिक शब्दार्थ
• लुडिक्स
• सिस्टम एफ
• गेरहार्ड जेंटज़न
• जेंटज़ेन की संगति प्रमाण
• उल्टा गणित
• नॉनफर्स्टऑर्डरिज़ेबिलिटी
• व्याख्यात्मकता
• कमजोर व्याख्या
• सहव्याख्यात्मकता
• सहनशील क्रम
• कोटोलरेंट क्रम
• निगमन प्रमेय
• सर्क्वेंट कैलकुलस

गणितीय रचनावाद

• अरचनात्मक प्रमाण
• अस्तित्व प्रमेय
• अंतर्ज्ञानवादी तर्क
• अंतर्ज्ञानवादी प्रकार का सिद्धांत
• प्रकार सिद्धांत
• लैम्ब्डा कैलकुलस
  • चर्च-रोसेर प्रमेय
• बस लैम्ब्डा कैलकुलस टाइप किया गया
• टाइप किया गया लैम्ब्डा कैलकुलस
• करी-हावर्ड समरूपता
• निर्माणों की गणना
• रचनावादी विश्लेषण
• लैम्ब्डा क्यूब
• सिस्टम एफ
• टोपोस सिद्धांत का परिचय
• एलएफ (तार्किक ढांचा)
• कम्प्यूटेबिलिटी तर्क
• गणनायोग्य माप सिद्धांत
• अंतिमवाद
• अतिअंतर्ज्ञानवाद
• लुइत्ज़ेन एगबर्टस जान ब्रौवर

मॉडल तर्क

• क्रिपके शब्दार्थ
• साहलक्विस्ट फॉर्मूला
• आंतरिक बीजगणित

प्रमेय कहावत

• प्रथम-क्रम संकल्प
• स्वचालित प्रमेय सिद्ध करना
• ACL2 प्रमेय कहावत
• ई समीकरण प्रमेय कहावत
• गंडालफ प्रमेय कहावत
• HOL प्रमेय कहावत
• इसाबेल प्रमेय कहावत
• एलसीएफ प्रमेय कहावत
• ओटर प्रमेय कहावत
• विरोधाभास प्रमेय कहावत
• पिशाच प्रमेय कहावत
• इंटरैक्टिव प्रमाण प्रणाली
• मिज़ार प्रणाली
• क्यूईडी परियोजना
• कोक

डिस्कवरी सिस्टम

• स्वचालित गणितज्ञ
• पाना

ऐतिहासिक

• शब्द लेखन
• ऑर्डिनल्स पर आधारित तर्क की प्रणालियाँ - एलन ट्यूरिंग|एलन ट्यूरिंग की पीएच.डी. थीसिस

यह भी देखें

• कर्ट गोडेल
• अल्फ्रेड टार्स्की
• सहारों शेलाह

श्रेणी:गणित-संबंधी सूचियाँ श्रेणी:गणितीय तर्क श्रेणी:गणित और तर्क की रूपरेखा श्रेणी:विकिपीडिया रूपरेखा श्रेणी:विषयों की सूचियाँ