Template:Mathematical logic

{{Navbox | name =गणितीय तर्क | title =गणितीय तर्क | state = {{{state}}}

| listclass = hlist

| image=

| group0 =आम | list0 =* स्वयंसिद्ध

• • सूची
• कार्डिनैलिटी
• प्रथम-क्रम तर्क
• औपचारिक प्रमाण
• औपचारिक शब्दार्थ
• गणित की नींव
• सूचना सिद्धांत
• लेम्मा
• तार्किक परिणाम
• मॉडल
• सेट
• प्रमेय
• सिद्धांत
• प्रकार सिद्धांत

| group10 =प्रमेय   ( सूची
  & amp;   विरोधाभास | list10 =*Gödel's completeness and incompleteness theorems* टार्स्की की अपरिहार्यता

• Banach -tarski paradox
• Cantor's theorem, paradox and diagonal argument* कॉम्पैक्टनेस
• समस्या को रोकना
• लिंडस्ट्रॉम
• Löwenheim -school
• रसेल का विरोधाभास

| group20 =तर्क | list20 =

पारंपरिक	शास्त्रीय तर्क तार्किक सत्य टॉटोलॉजी प्रस्ताव अनुमान तार्किक समतुल्यता गाढ़ापन समानता तर्क ध्वनि वैधता युक्तिवाक्य विरोध का वर्ग वेन आरेख
प्रस्ताव	बूलियन बीजगणित बूलियन फ़ंक्शन तार्किक संयोजी प्रस्ताव पथरी प्रस्ताव सूत्र ट्रुथ टेबल कई-मूल्यवान तर्क 3 परिमित अनंत-मूल्यवान लॉजिक
विधेय	प्रथम-क्रम list दूसरा-आदेश मोनाडिक उच्च-क्रम मुक्त क्वांटिफायर विधेय मोनाडिक विधेय कैलकुलस

| group50 =समुच्चय सिद्धान्त | list50 =

सेट वंशानुगत वर्ग ( उर-) तत्व क्रमित युग्म क्रमसूचक संख्या सबसेट समानता विस्तार फोर्सिंग संबंध समतुल्यता विभाजन संचालन सेट करें: चौराहा संघ पूरक कार्तीय गुणन सत्ता स्थापित पहचान
सेट के प्रकार	काउंट करने योग्य बेशुमार खाली निवास सिंगलटन परिमित अनंत सकर्मक अल्ट्राफिल्टर पुनरावर्ती फजी यूनिवर्सल ब्रह्मांड निर्माण योग्य Grothendieck वॉन न्यूमैन
मानचित्र   & amp;   कार्डिनलिटी	फ़ंक्शन/ मानचित्र डोमेन कोडोमैन [[छवि (गणित) |Image]] In/Sur/Bi-jection Schröder–Bernstein theorem Isomorphism Gödel numbering Enumeration Large cardinal Inaccessible Aleph number Operation Binary
सिद्धांत सेट करें	Zermelo -Fraenkel पसंद का स्वयंसिद्ध सातत्य परिकल्पना सामान्य क्रिपके -प्लाटेक मोर्स -केली भोला नई नींव टार्स्की -ग्रोथेन्डिंक वॉन न्यूमैन -बर्नेज़ -गोदेल रचनात्मक

| group70 =औपचारिक प्रणाली   (list),
भाषा   & amp;   सिंटैक्स | list70 =

वर्णमाला Arity ऑटोमेटा स्वयंसिद्ध स्कीमा अभिव्यक्ति ग्राउंड विस्तार परिभाषा के अनुसार रूढ़िवादी संबंध गठन नियम व्याकरण फॉर्मूला परमाणु बंद जमीन खुला मुक्त/बाध्य चर भाषा METALANGAGEAGE तार्किक संयोजी नकारात्मक ∨ ∧ → ↔ = विधेय कार्यात्मक चर प्रस्ताव चर प्रमाण क्वांटिफायर ∃ विशिष्टता की मात्रा का ठहराव ∀ रैंक वाक्य परमाणु स्पेक्ट्रम हस्ताक्षर स्ट्रिंग प्रतिस्थापन प्रतीक फ़ंक्शन तार्किक/स्थिर गैर-लॉजिकल चर शब्द सिद्धांत list

Example axiomatic systems (list)

अंकगणित: पीनो सेकंड-ऑर्डर प्राथमिक कार्य आदिम पुनरावर्ती रॉबिन्सन स्कोलम वास्तविक संख्या टार्स्की का स्वयंसिद्धता का रियल बूलियन बीजगणित कैनोनिकल न्यूनतम स्वयंसिद्ध ज्यामिति: Euclidean तत्व हिल्बर्ट का गैर-यूक्लिडियन टार्स्की प्रिंसिपिया मैथमेटिक '

| group80 =प्रूफ थ्योरी | list80 =* औपचारिक प्रमाण

• प्राकृतिक कटौती
• तार्किक परिणाम
• अनुमान का नियम
• सीक्वेंट कैलकुलस
• प्रमेय
• सिस्टम
  • स्वयंसिद्ध
  • डिडक्टिव
  • हिल्बर्ट
    • सूची
• पूर्ण सिद्धांत
• स्वतंत्रता   (   zfc] से)
• असंभवता का प्रमाण
• क्रमिक विश्लेषण
• रिवर्स गणित
• स्व-सत्यापित सिद्धांत

| group90 =मॉडल सिद्धांत | list90 =* व्याख्या

• • फ़ंक्शन
  • मॉडल का
• मॉडल
  • समतुल्यता
  • परिमित
  • संतृप्त
  • स्पेक्ट्रम
  • सबमॉडल
• गैर-मानक मॉडल
  • अंकगणित का
• आरेख
  • प्राथमिक
• श्रेणीबद्ध सिद्धांत
• मॉडल पूर्ण सिद्धांत
• संतोषजनक
• तर्क का शब्दार्थ
• शक्ति
• सत्य के सिद्धांत
  • सिमेंटिक
  • टार्स्की
  • क्रिप्के
• टी-स्कीमा
• स्थानांतरण सिद्धांत
• सत्य विधेय
• सत्य मूल्य
• प्रकार
• अल्ट्राप्रोडक्ट
• वैधता

| group100 =कम्प्यूटिबिलिटी थ्योरी | list100 =* चर्च एन्कोडिंग

• चर्च -ट्र्यूरिंग थीसिस
• [[कम्प्यूटरीली एन्यूमरेबल सेट |
• कम्प्यूटेबल फ़ंक्शन
• कम्प्यूटेबल सेट
• निर्णय समस्या
  • decidable
  • undecidable
  • पी
  • एनपी
  • पी बनाम एनपी समस्या
• कोलमोगोरोव जटिलता
• लैम्ब्डा कैलकुलस
• आदिम पुनरावर्ती कार्य
• पुनरावृत्ति
• पुनरावर्ती सेट
• ट्यूरिंग मशीन
• प्रकार सिद्धांत

| group120 =संबंधित | list120 =* सार तर्क

• श्रेणी सिद्धांत
• कंक्रीट/ सार श्रेणी
• सेट की श्रेणी
• तर्क का इतिहास
• गणितीय तर्क का इतिहास
  • समयरेखा
• तर्कवाद
• गणितीय वस्तु
• गणित का दर्शन
• सुपरटास्क

|below= ' ' }}

[[Category:Template documentation pages{{#translation:}}]]