गणितीय तर्क

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

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

सबफील्ड्स और स्कोप
गणितीय तर्क की पुस्तिका 1977 में समकालीन गणितीय तर्क का मोटे तौर पर चार क्षेत्रों में विभाजन करता है:


 * 1) समुच्चय सिद्धान्त
 * 2) मॉडल सिद्धांत
 * 3) पुनरावर्तन सिद्धांत, और
 * 4) प्रूफ सिद्धांत और रचनात्मक गणित (एक ही क्षेत्र के भागों के रूप में माना जाता है)।

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

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

इतिहास
गणितीय तर्क 19वीं शताब्दी के मध्य में गणित के एक उपक्षेत्र के रूप में उभरा, जो दो परंपराओं के संगम को दर्शाता है: औपचारिक दार्शनिक तर्क और गणित। गणितीय तर्क, जिसे 'लॉजिस्टिक', 'प्रतीकात्मक तर्क', 'बूलियन बीजगणित' और हाल ही में, केवल 'औपचारिक तर्क' भी कहा जाता है, पिछली उन्नीसवीं शताब्दी के समय विकसित तार्किक सिद्धांतों का समूह है। एक कृत्रिम अंकन और एक कठोर निगमनात्मक विधि। इस उद्भव से पहले, तर्कशास्त्र का अध्ययन बयानबाजी के साथ, गणनाओं के साथ किया जाता था, न्यायवाक्य के माध्यम से, और दर्शन के साथ। 20वीं शताब्दी के पूर्वार्द्ध में गणित की नींव पर जोरदार बहस के साथ मौलिक परिणामों का विस्फोट हुआ।

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

19वीं सद
उन्नीसवीं शताब्दी के मध्य में, जॉर्ज बूले और फिर अगस्त डी मॉर्गन ने तर्क के व्यवस्थित गणितीय उपचार प्रस्तुत किए। उनके काम, जॉर्ज पीकॉक (गणितज्ञ) जैसे बीजगणितियों द्वारा काम पर निर्माण, गणित की नींव के अध्ययन के लिए तर्क के पारंपरिक अरिस्टोटेलियन सिद्धांत को एक पर्याप्त ढांचे में विस्तारित किया। चार्ल्स सैंडर्स पियर्स ने बाद में संबंधों और परिमाणकों के लिए एक तार्किक प्रणाली विकसित करने के लिए बूल के काम पर निर्माण किया, जिसे उन्होंने 1870 से 1885 तक कई पत्रों में प्रकाशित किया।

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

1890 से 1905 तक, अर्नस्ट श्रोडर (गणितज्ञ) | अर्नस्ट श्रोडर ने तीन खंडों में वोरलेसुंगेन उबेर डाई एलजेब्रा डेर लॉजिक प्रकाशित किया। इस कार्य ने बोले, डी मॉर्गन और पियर्स के काम को संक्षेप और विस्तारित किया, और प्रतीकात्मक तर्क का एक व्यापक संदर्भ था जैसा कि 19वीं शताब्दी के अंत में समझा गया था।

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

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

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

19वीं सदी में वास्तविक विश्लेषण के सिद्धांत में अधिक प्रगति देखी गई, जिसमें कार्यों के अभिसरण के सिद्धांत और फूरियर श्रृंखला सम्मलित हैं। कार्ल वीयरस्ट्रास जैसे गणितज्ञों ने ऐसे कार्यों का निर्माण करना प्रारंभ किया जो अंतर्ज्ञान को फैलाते थे, जैसे कि सतत, कहीं नहीं अलग-अलग कार्य|कहीं-अलग-अलग निरंतर कार्य। संगणना के लिए एक नियम के रूप में किसी फ़ंक्शन की पिछली अवधारणाएं, या एक सहज ग्राफ़, अब पर्याप्त नहीं थीं। वीयरस्ट्रैस ने विश्लेषण के अंकगणित की वकालत करना प्रारंभ किया, जिसने प्राकृतिक संख्याओं के गुणों का उपयोग करके विश्लेषण को स्वयंसिद्ध करने की मांग की। आधुनिक (ε, δ) - सीमा और निरंतर कार्यों की परिभाषा पहले से ही 1817 में बर्नार्ड बोलजानो द्वारा विकसित की गई थी, किन्तु अपेक्षाकृत अनजान बने रहे। कॉची ने 1821 में निरंतरता को बहुत छोता के संदर्भ में परिभाषित किया (देखें कोर्ट डी'एनालिसिस, पृष्ठ 34)। 1858 में, डेडेकाइंड काटता है परिमेय संख्याओं की डेडेकिंड कटौती के संदर्भ में वास्तविक संख्याओं की एक परिभाषा प्रस्तावित की, एक परिभाषा अभी भी समकालीन ग्रंथों में कार्यरत है। जॉर्ज कैंटर ने अनंत समुच्चय सिद्धांत की मूलभूत अवधारणाओं को विकसित किया। उनके प्रारंभिक परिणामों ने प्रमुखता के सिद्धांत और कैंटर के पहले बेशुमार प्रमाण को विकसित किया कि वास्तविक और प्राकृतिक संख्याओं में अलग-अलग कार्डिनैलिटी हैं। अगले बीस वर्षों में, कैंटर ने प्रकाशनों की एक श्रृंखला में ट्रांसफिनिट नंबरों का एक सिद्धांत विकसित किया। 1891 में, उन्होंने वास्तविक संख्याओं की बेशुमारता का एक नया प्रमाण प्रकाशित किया जिसने कैंटर के विकर्ण तर्क को प्रस्तुत किया, और कैंटर के प्रमेय को सिद्ध करना करने के लिए इस पद्धति का उपयोग किया कि किसी भी सेट की कार्डिनैलिटी उसके पावरसेट के समान नहीं हो सकती। कैंटर का मानना ​​था कि प्रत्येक सेट को सुव्यवस्थित किया जा सकता है, किन्तु इस परिणाम के लिए एक प्रमाण प्रस्तुत करने में असमर्थ था, इसे 1895 में एक खुली समस्या के रूप में छोड़ दिया।

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

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

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

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

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

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

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

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

अन्य शाखाओं की शुरुआत
अल्फ्रेड टार्स्की ने मॉडल सिद्धांत की मूल बातें विकसित कीं।

1935 की शुरुआत में, प्रमुख गणितज्ञों के एक समूह ने छद्म नाम निकोलस बोर्बाकी के अनुसार Éléments de mathématique, विश्वकोश गणित ग्रंथों की एक श्रृंखला प्रकाशित करने के लिए सहयोग किया। कठोर और स्वयंसिद्ध शैली में लिखे गए इन ग्रंथों में कठोर प्रस्तुति और सेट-सैद्धांतिक नींव पर बल दिया गया है। इन पाठों द्वारा गढ़ी गई शब्दावली, जैसे कि शब्द आक्षेप, अंतःक्षेपण, और अनुमान|आक्षेपण, अंतःक्षेपण, और अनुमान, और सेट-सैद्धांतिक नींव नियोजित ग्रंथ, पूरे गणित में व्यापक रूप से अपनाए गए थे।

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

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

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

प्रथम-क्रम तर्क
प्रथम-क्रम तर्क एक विशेष तार्किक प्रणाली है। इसके वाक्य-विन्यास में अच्छी तरह से निर्मित सूत्रों के रूप में केवल परिमित अभिव्यक्तियाँ सम्मलित हैं, जबकि इसके प्रथम-क्रम तर्क # शब्दार्थ को सभी क्वांटिफायर (तर्क) की सीमा को प्रवचन के एक निश्चित डोमेन तक सीमित करने की विशेषता है।

औपचारिक तर्क से प्रारंभिक परिणाम प्रथम-क्रम तर्क की स्थापित सीमाएँ। लोवेनहाइम-स्कोलेम प्रमेय (1919) ने दिखाया कि यदि एक गणनीय प्रथम-क्रम भाषा में वाक्यों के एक सेट का एक अनंत मॉडल है, तो इसमें प्रत्येक अनंत कार्डिनैलिटी का कम से कम एक मॉडल है। इससे पता चलता है कि प्राकृतिक संख्याओं, वास्तविक संख्याओं, या समरूपता तक किसी अन्य अनंत संरचना को चिह्नित करने के लिए प्रथम-क्रम के स्वयंसिद्धों के एक सेट के लिए यह असंभव है। प्रारंभिक मूलभूत अध्ययनों का लक्ष्य गणित के सभी भागों के लिए स्वयंसिद्ध सिद्धांतों का निर्माण करना था, यह सीमा विशेष रूप से कठोर थी।

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

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

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

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

सबसे अच्छी तरह से अध्ययन किया गया अनंत तर्क है $$L_{\omega_1,\omega}$$. इस तर्क में, क्वांटिफायर्स को केवल परिमित गहराई तक नेस्टेड किया जा सकता है, जैसा कि पहले क्रम के तर्क में होता है, किन्तु सूत्रों में उनके भीतर परिमित या गणनीय रूप से अनंत संयुग्मन और वियोजन हो सकते हैं। इस प्रकार, उदाहरण के लिए, के सूत्र का उपयोग करके यह कहना संभव है कि एक वस्तु एक पूर्ण संख्या है $$L_{\omega_1,\omega}$$ जैसे कि
 * $$(x = 0) \lor (x = 1) \lor (x = 2) \lor \cdots.$$

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

एक अन्य प्रकार के लॉजिक्स हैंfixed-point logics जो आगमनात्मक परिभाषाओं की अनुमति देता है, जैसे कि आदिम पुनरावर्ती कार्यों के लिए लिखता है।

एक औपचारिक रूप से प्रथम-क्रम तर्क के विस्तार को परिभाषित कर सकता है - एक धारणा जो इस खंड में सभी लॉजिक्स को सम्मलित करती है क्योंकि वे कुछ मौलिक तरीकों से प्रथम-क्रम तर्क की तरह व्यवहार करते हैं, किन्तु सामान्य रूप से सभी तर्कों को सम्मलित नहीं करते हैं, उदा। यह अंतर्ज्ञानवादी, मोडल या फजी लॉजिक को सम्मलित नहीं करता है।

लिंडस्ट्रॉम के प्रमेय का अर्थ है कि कॉम्पैक्टनेस प्रमेय और लोवेनहाइम-स्कोलेम प्रमेय दोनों को संतुष्ट करने वाले प्रथम-क्रम तर्क का एकमात्र विस्तार #डाउनवर्ड पार्ट|डाउनवर्ड लोवेनहेम-स्कोलेम प्रमेय प्रथम-क्रम तर्क है।

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

बीजगणितीय तर्क
बीजगणितीय तर्क औपचारिक तर्कशास्त्र के शब्दार्थों का अध्ययन करने के लिए अमूर्त बीजगणित के तरीकों का उपयोग करता है। मौलिक प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए बूलियन बीजगणित (संरचना) का एक मौलिक उदाहरण है, और अंतर्ज्ञानवादी प्रस्तावपरक तर्क में सत्य मूल्यों का प्रतिनिधित्व करने के लिए हेटिंग बीजगणित का उपयोग। पहले क्रम के तर्क और उच्च क्रम के तर्क जैसे मजबूत तर्कों का अध्ययन बेलनाकार बीजगणित जैसी अधिक जटिल बीजगणितीय संरचनाओं का उपयोग करके किया जाता है।

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

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

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

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

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

किसी विशेष सिद्धांत के सभी मॉडलों के समुच्चय को प्राथमिक वर्ग कहा जाता है; मौलिक मॉडल सिद्धांत एक विशेष प्राथमिक वर्ग में मॉडल के गुणों को निर्धारित करना चाहता है, या यह निर्धारित करता है कि संरचनाओं के कुछ वर्ग प्राथमिक वर्ग बनाते हैं या नहीं।

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

मॉर्ले की श्रेणीबद्धता प्रमेय, माइकल डी. मॉर्ले द्वारा सिद्ध, बताता है कि यदि एक गणनीय भाषा में प्रथम-क्रम सिद्धांत कुछ बेशुमार कार्डिनैलिटी में स्पष्ट है, अर्थात इस कार्डिनैलिटी के सभी मॉडल आइसोमॉर्फिक हैं, तो यह सभी बेशुमार कार्डिनैलिटी में स्पष्ट है।

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

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

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

पुनरावर्तन सिद्धांत में समकालीन अनुसंधान में एल्गोरिथम यादृच्छिकता, संगणनीय मॉडल सिद्धांत और रिवर्स गणित जैसे अनुप्रयोगों के अध्ययन के साथ-साथ शुद्ध पुनरावर्तन सिद्धांत में नए परिणाम सम्मलित हैं।

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

साधारण गणित से अनिर्णनीय समस्याओं के कई ज्ञात उदाहरण हैं। 1955 में प्योत्र नोविकोव द्वारा और 1959 में स्वतंत्र रूप से डब्ल्यू बूने द्वारा समूहों के लिए शब्द समस्या एल्गोरिथम रूप से अघुलनशील सिद्ध करना हुई थी। 1962 में टिबोर राडो द्वारा विकसित व्यस्त बीवर समस्या एक और प्रसिद्ध उदाहरण है।

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

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

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

सबूत सिद्धांत में हालिया विकास में उलरिच कोहलेनबैक द्वारा सबूत खनन का अध्ययन और माइकल राथजेन द्वारा सबूत-सैद्धांतिक अध्यादेशों का अध्ययन सम्मलित है।

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

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

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

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

वर्णनात्मक जटिलता सिद्धांत तर्कशास्त्र को कम्प्यूटेशनल जटिलता सिद्धांत से जोड़ता है। इस क्षेत्र में पहला महत्वपूर्ण परिणाम, फागिन के प्रमेय (1974) ने स्थापित किया कि एनपी (जटिलता) वास्तव में अस्तित्वगत दूसरे क्रम के तर्क के वाक्यों द्वारा व्यक्त की जाने वाली भाषाओं का समूह है।

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

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

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

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

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

यह भी देखें

 * तर्क
 * अनौपचारिक तर्क
 * ज्ञान प्रतिनिधित्व और तर्क
 * तर्क
 * कम्प्यूटेबिलिटी और जटिलता विषयों की सूची
 * पहले क्रम के सिद्धांतों की सूची
 * तर्क प्रतीकों की सूची
 * गणितीय तर्क विषयों की सूची
 * सेट सिद्धांत विषयों की सूची
 * Mereology
 * प्रस्तावक कलन
 * अच्छी तरह से गठित सूत्र

स्नातक ग्रंथ

 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है
 * शॉन हेडमैन, ए फर्स्ट कोर्स इन लॉजिक: एन इंट्रोडक्शन टू मॉडल थ्योरी, प्रूफ थ्योरी, कम्प्यूटेबिलिटी, एंड कॉम्प्लेक्सिटी, ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 2004, ISBN 0-19-852981-3. कम्प्यूटेबिलिटी सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत के साथ निकट संबंध में लॉजिक्स को कवर करता है

स्नातक ग्रंथ

 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1952), मेटामैथमैटिक्स का परिचय। न्यूयॉर्क: वैन नोस्ट्रैंड। (ईशी प्रेस: ​​2009 पुनर्मुद्रण)।
 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1967), गणितीय तर्क। जॉन विली। डोवर पुनर्मुद्रण, 2002। ISBN 0-486-42533-9.
 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1952), मेटामैथमैटिक्स का परिचय। न्यूयॉर्क: वैन नोस्ट्रैंड। (ईशी प्रेस: ​​2009 पुनर्मुद्रण)।
 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1967), गणितीय तर्क। जॉन विली। डोवर पुनर्मुद्रण, 2002। ISBN 0-486-42533-9.
 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1952), मेटामैथमैटिक्स का परिचय। न्यूयॉर्क: वैन नोस्ट्रैंड। (ईशी प्रेस: ​​2009 पुनर्मुद्रण)।
 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1967), गणितीय तर्क। जॉन विली। डोवर पुनर्मुद्रण, 2002। ISBN 0-486-42533-9.
 * स्टीफन कोल क्लेन|क्लीन, स्टीफन कोल। (1967), गणितीय तर्क। जॉन विली। डोवर पुनर्मुद्रण, 2002। ISBN 0-486-42533-9.

शोध पत्र, मोनोग्राफ, ग्रंथ, और सर्वेक्षण

 * जे.डी. स्नीड, गणितीय भौतिकी की तार्किक संरचना। रीडेल, डॉर्ड्रेक्ट, 1971 (संशोधित संस्करण 1979)।
 * परिशिष्ट के रूप में पुनर्मुद्रित
 * जे.डी. स्नीड, गणितीय भौतिकी की तार्किक संरचना। रीडेल, डॉर्ड्रेक्ट, 1971 (संशोधित संस्करण 1979)।
 * परिशिष्ट के रूप में पुनर्मुद्रित
 * जे.डी. स्नीड, गणितीय भौतिकी की तार्किक संरचना। रीडेल, डॉर्ड्रेक्ट, 1971 (संशोधित संस्करण 1979)।
 * परिशिष्ट के रूप में पुनर्मुद्रित

मौलिक कागजात, ग्रंथ, और संग्रह



 * में पुनर्मुद्रित


 * अंग्रेजी अनुवाद के रूप में: संगति और अपरिमेय संख्या।
 * दो अंग्रेजी अनुवाद:
 * 1963 (1901)। संख्या के सिद्धांत पर निबंध। बेमन, डब्ल्यूडब्ल्यू, एड। और ट्रांस। डोवर।
 * 1996. इन फ्रॉम कांट टू हिल्बर्ट: ए सोर्स बुक इन द फ़ाउंडेशन ऑफ़ मैथेमेटिक्स, 2 खंड, इवाल्ड, विलियम बी., एड., ऑक्सफोर्ड यूनिवर्सिटी प्रेस: ​​787-832।
 * अंग्रेजी अनुवाद में 'निश्चित' की धारणा और पसंद के स्वयंसिद्ध की स्वतंत्रता के रूप में पुनर्मुद्रित.
 * Gottlob Frege|Frege, Gottlob (1879), शब्द लेखन, शुद्ध सोच की एक अंकगणितीय प्रतिरूपित सूत्र भाषा। हॉल ए एस।: लुई नेबर्ट। अनुवाद: कॉन्सेप्ट स्क्रिप्ट, अंकगणित पर आधारित शुद्ध विचार की एक औपचारिक भाषा, एस. बाउर-मेंगलबर्ग द्वारा.
 * गोटलॉब फ्रेज | फ्रीज, गोटलॉब (1884), अंकगणित की नींव: संख्या की अवधारणा का एक तार्किक-गणितीय अध्ययन। ब्रेस्लाउ: डब्ल्यू कोबनेर। अनुवाद: जे.एल. ऑस्टिन, 1974. अंकगणित की नींव: संख्या की अवधारणा में एक तार्किक-गणितीय जांच, दूसरा संस्करण ब्लैकवेल
 * जेंटजन कलेक्टेड वर्क्स में अंग्रेजी अनुवाद में पुनर्मुद्रित, एम.ई. स्जाबो, एड., नॉर्थ-हॉलैंड, एम्स्टर्डम, 1969।
 * गोडेल के कलेक्टेड वर्क्स, वॉल्यूम II, सोलोमन फेफरमैन एट अल।, एड में अंग्रेजी अनुवाद में पुनर्मुद्रित। ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 1993।
 * 1902 का अंग्रेजी संस्करण (द फ़ाउंडेशन ऑफ़ ज्योमेट्री) 1980 में पुनः प्रकाशित, ओपन कोर्ट, शिकागो।
 * 3 सितंबर 1928 को गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस में दिया गया व्याख्यान। द ग्राउंडिंग ऑफ एलीमेंट्री नंबर थ्योरी के रूप में अंग्रेजी अनुवाद में प्रकाशित, मैनकोसु 1998 में, पीपी। 266-273।
 * के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित
 * में रिश्तेदारों की गणना में संभावनाओं के रूप में अनुवादित
 * अंकगणित के सिद्धांतों के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित अंश, में एक नई विधि द्वारा प्रस्तुत किया गया.
 * गणित के सिद्धांतों और सेट की समस्याओं के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.
 * के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित
 * में रिश्तेदारों की गणना में संभावनाओं के रूप में अनुवादित
 * अंकगणित के सिद्धांतों के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित अंश, में एक नई विधि द्वारा प्रस्तुत किया गया.
 * गणित के सिद्धांतों और सेट की समस्याओं के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.
 * अंकगणित के सिद्धांतों के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित अंश, में एक नई विधि द्वारा प्रस्तुत किया गया.
 * गणित के सिद्धांतों और सेट की समस्याओं के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.
 * अंकगणित के सिद्धांतों के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित अंश, में एक नई विधि द्वारा प्रस्तुत किया गया.
 * गणित के सिद्धांतों और सेट की समस्याओं के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.


 * सबूत के रूप में अंग्रेजी अनुवाद में दोबारा मुद्रित किया गया है कि प्रत्येक सेट को अच्छी तरह से व्यवस्थित किया जा सकता है.
 * में अच्छी तरह से ऑर्डर करने की संभावना के एक नए प्रमाण के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.
 * सबूत के रूप में अंग्रेजी अनुवाद में दोबारा मुद्रित किया गया है कि प्रत्येक सेट को अच्छी तरह से व्यवस्थित किया जा सकता है.
 * में अच्छी तरह से ऑर्डर करने की संभावना के एक नए प्रमाण के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.
 * में अच्छी तरह से ऑर्डर करने की संभावना के एक नए प्रमाण के रूप में अंग्रेजी अनुवाद में पुनर्मुद्रित.

बाहरी संबंध

 * Polyvalued logic and Quantity Relation Logic
 * forall x: an introduction to formal logic, a free textbook by P. D. Magnus.
 * A Problem Course in Mathematical Logic, a free textbook by Stefan Bilaniuk.
 * Detlovs, Vilnis, and Podnieks, Karlis (University of Latvia), Introduction to Mathematical Logic. (hyper-textbook).
 * In the Stanford Encyclopedia of Philosophy:
 * Classical Logic by Stewart Shapiro.
 * First-order Model Theory by Wilfrid Hodges.
 * In the London Philosophy Study Guide:
 * Mathematical Logic
 * Set Theory & Further Logic
 * Philosophy of Mathematics
 * School of Mathematics, University of Manchester, Prof. Jeff Paris’s Mathematical Logic (course material and unpublished papers)
 * School of Mathematics, University of Manchester, Prof. Jeff Paris’s Mathematical Logic (course material and unpublished papers)