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 =
| पारंपरिक | |
|---|---|
| प्रस्ताव | |
| विधेय |
| group50 =समुच्चय सिद्धान्त | list50 =
{{Navbox|subgroup
| group1 =
| list1 =* सेट
- वर्ग
- ( उर-) तत्व
- क्रमित युग्म
- क्रमसूचक संख्या
- सबसेट
- समानता
- विस्तार
- फोर्सिंग
- संबंध
- संचालन सेट करें:
| group3 =[[सेट (गणित) | सेट] के प्रकार | list3 =* काउंट करने योग्य
| group5 = मानचित्र & amp; कार्डिनलिटी | list5 =* फ़ंक्शन/ मानचित्र
|Image]]
- In/Sur/Bi-jection
- Schröder–Bernstein theorem
- Isomorphism
- Gödel numbering
- Enumeration
- Large cardinal
- Aleph number
- Operation
| group8 =सिद्धांत सेट करें
| list8 =* Zermelo -Fraenkel
- सामान्य
- क्रिपके -प्लाटेक
- मोर्स -केली
- भोला
- नई नींव
- टार्स्की -ग्रोथेन्डिंक
- वॉन न्यूमैन -बर्नेज़ -गोदेल
- रचनात्मक
}}
| group70 =औपचारिक प्रणाली (list),
भाषा & amp; सिंटैक्स
| list70 =
{{Navbox|subgroup
| group1 =
| list1 =* वर्णमाला
- Arity
- ऑटोमेटा
- स्वयंसिद्ध स्कीमा
- अभिव्यक्ति
- विस्तार
- संबंध
- गठन नियम
- व्याकरण
- फॉर्मूला
- मुक्त/बाध्य चर
- भाषा
- METALANGAGEAGE
- तार्किक संयोजी
- विधेय
- प्रमाण
- क्वांटिफायर
- वाक्य
- हस्ताक्षर
- स्ट्रिंग
- प्रतिस्थापन
- प्रतीक
- शब्द
- सिद्धांत
| group8 = Example axiomatic
systems (list)
| list8 =* अंकगणित:
- वास्तविक संख्या
- [[टार्स्की का स्वयंसिद्धता का रियल।
- बूलियन बीजगणित
- ज्यामिति:
- प्रिंसिपिया मैथमेटिक '
}} | group80 =प्रूफ थ्योरी | list80 =* औपचारिक प्रमाण
- प्राकृतिक कटौती
- तार्किक परिणाम
- अनुमान का नियम
- सीक्वेंट कैलकुलस
- प्रमेय
- सिस्टम
- पूर्ण सिद्धांत
- स्वतंत्रता ( zfc] से)
- असंभवता का प्रमाण
- क्रमिक विश्लेषण
- रिवर्स गणित
- स्व-सत्यापित सिद्धांत
| group90 =मॉडल सिद्धांत | list90 =* व्याख्या
- मॉडल
- गैर-मानक मॉडल
- आरेख
- श्रेणीबद्ध सिद्धांत
- मॉडल पूर्ण सिद्धांत
- संतोषजनक
- तर्क का शब्दार्थ
- शक्ति
- सत्य के सिद्धांत
- टी-स्कीमा
- स्थानांतरण सिद्धांत
- सत्य विधेय
- सत्य मूल्य
- प्रकार
- अल्ट्राप्रोडक्ट
- वैधता
| group100 =कम्प्यूटिबिलिटी थ्योरी | list100 =* चर्च एन्कोडिंग
- चर्च -ट्र्यूरिंग थीसिस
- [[कम्प्यूटरीली एन्यूमरेबल सेट |
- कम्प्यूटेबल फ़ंक्शन
- कम्प्यूटेबल सेट
- निर्णय समस्या
- कोलमोगोरोव जटिलता
- लैम्ब्डा कैलकुलस
- आदिम पुनरावर्ती कार्य
- पुनरावृत्ति
- पुनरावर्ती सेट
- ट्यूरिंग मशीन
- प्रकार सिद्धांत
| group120 =संबंधित | list120 =* सार तर्क
- श्रेणी सिद्धांत
- कंक्रीट/ सार श्रेणी
- सेट की श्रेणी
- तर्क का इतिहास
- गणितीय तर्क का इतिहास
- तर्कवाद
- गणितीय वस्तु
- गणित का दर्शन
- सुपरटास्क
|below= ' ' }}
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Mathematical logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Mathematical logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Mathematical logic|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.
See also
- {{Set theory}}
