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

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

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

कार्यशील मूलभूत

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

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

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

समुच्चय सिद्धांत

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

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

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

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

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

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

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

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

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

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

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

मॉडल तर्क

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

प्रमेय प्रोवर

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

खोज प्रणाली

• स्वचालित गणितज्ञ
• यूरिस्को

ऐतिहासिक

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

यह भी देखें

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