Template:Mathematical logic: Difference between revisions
From Vigyanwiki
No edit summary |
m (5 revisions imported from alpha:Template:Mathematical_logic) |
||
| (4 intermediate revisions by one other user not shown) | |||
| 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 103: | Line 103: | ||
** [[सत्ता स्थापित]] | ** [[सत्ता स्थापित]] | ||
** [[सेट पहचान और संबंधों की सूची | पहचान]] | ** [[सेट पहचान और संबंधों की सूची | पहचान]] | ||
| group3 =[[सेट (गणित) | सेट] के प्रकार | | group3 =[[सेट (गणित) | सेट]] के प्रकार | ||
| list3 =* [[काउंटेबल सेट | काउंट करने योग्य]] | | list3 =* [[काउंटेबल सेट | काउंट करने योग्य]] | ||
* [[बेशुमार सेट | बेशुमार]] | * [[बेशुमार सेट | बेशुमार]] | ||
| Line 218: | Line 218: | ||
** [[स्कोलेम अंकगणित | स्कोलम]] | ** [[स्कोलेम अंकगणित | स्कोलम]] | ||
* [[वास्तविक संख्याओं का निर्माण | वास्तविक संख्या]] | * [[वास्तविक संख्याओं का निर्माण | वास्तविक संख्या]] | ||
** [[टार्स्की का स्वयंसिद्धता का | ** [[टार्स्की का स्वयंसिद्धता का रियल]] | ||
* [[बूलियन बीजगणित का स्वयंसिद्धकरण | बूलियन बीजगणित]] | * [[बूलियन बीजगणित का स्वयंसिद्धकरण | बूलियन बीजगणित]] | ||
** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित | कैनोनिकल]] | ** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित | कैनोनिकल]] | ||
| Line 281: | Line 281: | ||
| list100 =* [[चर्च एन्कोडिंग]] | | list100 =* [[चर्च एन्कोडिंग]] | ||
* [[चर्च -ट्र्यूरिंग थीसिस]] | * [[चर्च -ट्र्यूरिंग थीसिस]] | ||
* [[कम्प्यूटरीली एन्यूमरेबल सेट | * [[कम्प्यूटरीली एन्यूमरेबल सेट ]] | ||
* [[कम्प्यूटेबल फ़ंक्शन]] | * [[कम्प्यूटेबल फ़ंक्शन]] | ||
* [[कम्प्यूटेबल सेट]] | * [[कम्प्यूटेबल सेट]] | ||
| 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]] | |||
Latest revision as of 21:54, 22 February 2023
Lua error in Module:TNT at line 182: Missing Commons dataset I18n/Module:TNT.tab.[[Category:Template documentation pages{{#translation:}}]]
