Template:Mathematical logic: Difference between revisions
No edit summary |
No edit summary |
||
| Line 29: | Line 29: | ||
| list10 =*{{nowrap|[[Gödel's completeness theorem|Gödel's completeness]] and [[Gödel's incompleteness theorems|incompleteness theorems]]}}* [[टार्स्की की अपरिहार्यता प्रमेय | टार्स्की की अपरिहार्यता]] | | list10 =*{{nowrap|[[Gödel's completeness theorem|Gödel's completeness]] and [[Gödel's incompleteness theorems|incompleteness theorems]]}}* [[टार्स्की की अपरिहार्यता प्रमेय | टार्स्की की अपरिहार्यता]] | ||
* [[Banach -tarski paradox]] | * [[Banach -tarski paradox]] | ||
*{{nowrap|Cantor's [[Cantor's theorem|theorem,]] [[Cantor's paradox|paradox]] and [[Cantor's diagonal argument|diagonal argument]]}}* [कॉम्पैक्टनेस प्रमेय | कॉम्पैक्टनेस]] | *{{nowrap|Cantor's [[Cantor's theorem|theorem,]] [[Cantor's paradox|paradox]] and [[Cantor's diagonal argument|diagonal argument]]}}* [[कॉम्पैक्टनेस प्रमेय | कॉम्पैक्टनेस]] | ||
* [[समस्या को रोकना]] | * [[समस्या को रोकना]] | ||
* [[लिंडस्ट्रॉम का प्रमेय | लिंडस्ट्रॉम]] | * [[लिंडस्ट्रॉम का प्रमेय | लिंडस्ट्रॉम]] | ||
* [Löwenheim - स्कूल प्रमेय | Löwenheim -school]] | * [[Löwenheim - स्कूल प्रमेय | Löwenheim -school]] | ||
* [[रसेल का विरोधाभास]] | * [[रसेल का विरोधाभास]] | ||
| group20 =[[तर्क]] | | group20 =[[तर्क]] | ||
| Line 319: | Line 319: | ||
{{Logic templates}} | {{Logic templates}} | ||
}} | }} | ||
</noinclude>[[Category: | </noinclude> | ||
[[Category:Collapse templates]] | |||
[[Category:Mathematics navigational boxes]] | |||
[[Category:Navbox orphans]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Philosophy and thinking navigational boxes]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
Revision as of 12:16, 22 February 2023
{{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 =* अंकगणित: