Template:Mathematical logic: Difference between revisions

From Vigyanwiki
(Created page with "{{Navbox | name = Mathematical logic | title = Mathematical logic | state = {{{state<includeonly>|collapsed</includeonly>}}} | listclass = hlist | image= | group0 = Ge...")
 
m (5 revisions imported from alpha:Template:Mathematical_logic)
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Navbox
{{Navbox
| name = Mathematical logic
| name =गणितीय तर्क
| title = [[Mathematical logic]]
| title =[[गणितीय तर्क]]
| state = {{{state<includeonly>|collapsed</includeonly>}}}
| state = {{{state<includeonly>|collapsed
</includeonly>}}}
 
| listclass = hlist
| listclass = hlist
| image=  
| image=  


   | group0 = General
    
  | list0 =
| group0 =आम
* [[Axiom]]
| list0 =* [[स्वयंसिद्ध]]
* [[First-order logic]]
** [[स्वयंसिद्धों की सूची | सूची]]
* [[Formal proof]]
* [[कार्डिनैलिटी]]
* [[Logical consequence]]
* [[प्रथम-क्रम तर्क]]
* [[Formal semantics (logic)|Formal semantics]]
* [[औपचारिक प्रमाण]]
* [[Foundations of mathematics]]
* [[औपचारिक शब्दार्थ (तर्क) | औपचारिक शब्दार्थ]]
* [[Structure (mathematical logic)|Model]]
* [[गणित की नींव]]
* [[Set (mathematics)|Set]]
* [[सूचना सिद्धांत]]
* [[Theorem]]
* [[लेम्मा (गणित) | लेम्मा]]
* [[Theory (mathematical logic)|Theory]]
* [[तार्किक परिणाम]]
* [[Type theory]]
* [[संरचना (गणितीय तर्क) | मॉडल]]
 
* [[सेट (गणित) | सेट]]
  | group10 = Theorems&nbsp;([[:Category:Theorems in the foundations of mathematics|list]])
* [[प्रमेय]]
  | list10 =  
* [[सिद्धांत (गणितीय तर्क) | सिद्धांत]]
* [[Gödel's completeness theorem|Gödel's completeness]]&nbsp;and&nbsp;[[Gödel's incompleteness theorems|incompleteness theorems]]
* [[प्रकार सिद्धांत]]
* [[Tarski's undefinability theorem|Tarski's undefinability]]
| group10 =प्रमेय &nbsp; ([[: श्रेणी: गणित की नींव में प्रमेय | सूची]]<br />&nbsp; & amp; &nbsp; [[सेट सिद्धांत के विरोधाभास | विरोधाभास]]
* [[Banach–Tarski paradox]]
| list10 =*{{nowrap|[[Gödel's completeness theorem|Gödel's completeness]]&nbsp;and&nbsp;[[Gödel's incompleteness theorems|incompleteness theorems]]}}* [[टार्स्की की अपरिहार्यता प्रमेय | टार्स्की की अपरिहार्यता]]
* Cantor's&nbsp;[[Cantor's theorem|theorem,]]&nbsp;[[Cantor's paradox|paradox]]&nbsp;and&nbsp;[[Cantor's diagonal argument|diagonal argument]]
* [[Banach -tarski paradox]]
* [[Lindström's theorem|Lindström's]]
*{{nowrap|Cantor's&nbsp;[[Cantor's theorem|theorem,]]&nbsp;[[Cantor's paradox|paradox]]&nbsp;and&nbsp;[[Cantor's diagonal argument|diagonal argument]]}}* [[कॉम्पैक्टनेस प्रमेय | कॉम्पैक्टनेस]]
* [[Löwenheim–Skolem theorem|Löwenheim–Skolem]]
* [[समस्या को रोकना]]
* [[Compactness theorem|Compactness]]
* [[लिंडस्ट्रॉम का प्रमेय | लिंडस्ट्रॉम]]
 
* [[Löwenheim - स्कूल प्रमेय | Löwenheim -school]]
  | group20 = [[Logic]]s
* [[रसेल का विरोधाभास]]
  | list20 =
| group20 =[[तर्क]]
| list20 =
 
   {{Navbox|subgroup
   {{Navbox|subgroup
   | group1 = [[Term logic|Traditional]]
    
  | list1  =
| group1 =[[शब्द तर्क | पारंपरिक]]
* [[Classical logic]]
| list1  =* [[शास्त्रीय तर्क]]
* [[Proposition]]
* [[तार्किक सत्य]]
* [[Inference]]
* [[टॉटोलॉजी (लॉजिक) | टॉटोलॉजी]]
* [[Logical equivalence]]
* [[प्रस्ताव]]
* [[Argument]]
* [[अनुमान]]
* [[Validity (logic)|Validity]]
* [[तार्किक समतुल्यता]]
* [[Syllogism]]
* [[गाढ़ापन]]
* [[Square of opposition]]
** [[समानता]]
* [[Venn diagram]]
* [[तर्क]]
 
* [[ध्वनि]]
  | group3 = [[Propositional calculus|Propositional]]
* [[वैधता (तर्क) | वैधता]]
  | list3 =
* [[युक्तिवाक्य]]
* [[Boolean algebra]]
* [[विरोध का वर्ग]]
* [[Boolean function]]s
* [[वेन आरेख]]
* [[Logical connective]]s
| group3 =[[प्रस्ताव पथरी | प्रस्ताव]]
* [[Propositional calculus]]
| list3 =* [[बूलियन बीजगणित]]
* [[Propositional formula]]
* [[बूलियन फ़ंक्शन]]
* [[Truth table]]s
* [[तार्किक संयोजी]]
* [[Many-valued logic]]
* [[प्रस्ताव पथरी]]
 
* [[प्रस्ताव सूत्र]]
  | group4 = [[Predicate logic|Predicate]]
* [[ट्रुथ टेबल]]
  | list4 =
* [[कई-मूल्यवान तर्क]]
* [[First-order logic|First-order]]
** [[तीन-मान्य तर्क | 3]]
* [[Quantifier (logic)|Quantifiers]]
** [[परिमित-मूल्यवान तर्क | परिमित]]
* [[Predicate (mathematical logic)|Predicate]]
** [[अनंत-मूल्यवान लॉजिक |अनंत-मूल्यवान लॉजिक ]]
* [[Second-order logic|Second-order]]
| group4 =[[विधेय तर्क | विधेय]]
* [[Monadic predicate calculus]]
| list4 =* [[प्रथम-क्रम तर्क | प्रथम-क्रम]]
** [[प्रथम-क्रम सिद्धांतों की सूची |{{small|list}}]]
* [[दूसरे-क्रम का तर्क | दूसरा-आदेश]]
** [[मोनाडिक सेकंड-ऑर्डर लॉजिक | मोनाडिक]]
* [[उच्च-क्रम तर्क | उच्च-क्रम]]
* [[मुक्त तर्क | मुक्त]]
* [[क्वांटिफायर (लॉजिक) | क्वांटिफायर]]
* [[विधेय (गणितीय तर्क) | विधेय]]
* [[मोनाडिक विधेय कैलकुलस]]
}}<!--END:{{Navbox|subgroup-->
}}<!--END:{{Navbox|subgroup-->
 
| group50 =[[समुच्चय सिद्धान्त]]
  | group50 = [[Set theory]]
| list50 =
  | list50 =
 
   {{Navbox|subgroup
   {{Navbox|subgroup
  | group1 =
  | list1  =
* [[Set (mathematics)|Set]]
* [[Element (mathematics)|Element]]
* [[Ordered pair]]
* [[Ordinal number]]
* [[Russell's paradox]]
* [[Power set]]
* [[Subset]]
* [[Binary operation|Relation]]
* [[Function (mathematics)|Function]]/[[Map (mathematics)|Map]]
** [[Domain of a function|Domain]]
** [[Codomain]]
** [[Image (mathematics)|Image]]
* [[Extensionality]]
* [[Forcing (mathematics)|Forcing]]
    
    
   | group2 = [[Cardinality]]
| group1 =
  | list2 =
    
* [[Empty set]]
| list1  =* [[सेट (गणित) | सेट]]
* [[Inhabited set]]
** [[वंशानुगत सेट | वंशानुगत]]
* [[क्लास (सेट थ्योरी) | वर्ग]]
* ([[Urelement | उर-]]) [[तत्व (गणित) | तत्व]]
* [[क्रमित युग्म]]
* [[क्रमसूचक संख्या]]
* [[सबसेट]]
* [[समानता (गणित) | समानता]]
* [[विस्तार]]
* [[फोर्सिंग (गणित) | फोर्सिंग]]
* [[संबंध (गणित) | संबंध]]
** [[समतुल्यता संबंध | समतुल्यता]]
** [[एक सेट का विभाजन | विभाजन]]
* संचालन सेट करें:
** [[चौराहा (सेट सिद्धांत) | चौराहा]]
** [[संघ (सेट सिद्धांत) | संघ]]
** [[पूरक (सेट सिद्धांत) | पूरक]]
** [[कार्तीय गुणन]]
** [[सत्ता स्थापित]]
** [[सेट पहचान और संबंधों की सूची | पहचान]]
| group3 =[[सेट (गणित) | सेट]] के प्रकार
| list3  =* [[काउंटेबल सेट | काउंट करने योग्य]]
* [[बेशुमार सेट | बेशुमार]]
* [[खाली सेट | खाली]]
* [[बसे हुए सेट | निवास]]
* [[सिंगलटन (गणित) | सिंगलटन]]
* [[परिमित सेट | परिमित]]
* [[अनंत सेट | अनंत]]
* [[सकर्मक सेट | सकर्मक]]
* [[अल्ट्राफिल्टर (सेट थ्योरी) | अल्ट्राफिल्टर]]
* [[पुनरावर्ती सेट | पुनरावर्ती]]
* [[फजी सेट | फजी]]
* [[यूनिवर्सल सेट | यूनिवर्सल]]
* [[ब्रह्मांड (गणित) | ब्रह्मांड]]
** [[निर्माण योग्य ब्रह्मांड | निर्माण योग्य]]
** [[Grothendieck यूनिवर्स | Grothendieck]]
** [[वॉन न्यूमैन यूनिवर्स | वॉन न्यूमैन]]
| group5 =[[मानचित्र (गणित) | मानचित्र]] &nbsp; & amp; &nbsp; [[कार्डिनलिटी]]
| list5 =* [[फ़ंक्शन (गणित) | फ़ंक्शन]]/[[मानचित्र (गणित) | मानचित्र]]
** [[एक फ़ंक्शन का डोमेन | डोमेन]]
** [[कोडोमैन]]
** [[छवि (गणित)
|Image]]
* [[Injective function|In]]/[[Surjective function|Sur]]/[[Bijection|Bi]]-jection
* [[Schröder–Bernstein theorem]]
* [[Isomorphism]]
* [[Gödel numbering]]
* [[Enumeration]]
* [[Enumeration]]
* [[Countable set]]
* [[Large cardinal]]
* [[Uncountable set]]
** [[Inaccessible cardinal|Inaccessible]]
* [[Finite set]]
* [[Aleph number]]
* [[Infinite set]]
* [[Operation (mathematics)|Operation]]
* [[Class (set theory)|Class]]
** [[Binary operation|Binary]]
* [[Schröder–Bernstein theorem]]


   | group7 = Set theories
    
  | list7 =
| group8 =सिद्धांत सेट करें
* [[Zermelo–Fraenkel set theory|Zermelo–Fraenkel]]
| list8 =* [[Zermelo -Fraenkel सेट थ्योरी | Zermelo -Fraenkel]]
** [[Axiom of choice]]
** [[पसंद का स्वयंसिद्ध]]
** [[Continuum hypothesis]]
** [[सातत्य परिकल्पना]]
* [[General set theory|General]]
* [[सामान्य सेट सिद्धांत | सामान्य]]
* [[Kripke–Platek set theory|Kripke–Platek]]
* [[क्रिपे -प्लाटेक सेट थ्योरी | क्रिपके -प्लाटेक]]
* [[Morse–Kelley set theory|Morse–Kelley]]
* [[मोर्स -केली सेट थ्योरी | मोर्स -केली]]
* [[Naive set theory|Naive]]
* [[भोले सेट सिद्धांत | भोला]]
* [[Tarski–Grothendieck set theory|Tarski–Grothendieck]]
* [[नई नींव]]
* [[Von Neumann–Bernays–Gödel set theory|Von Neumann–Bernays–Gödel]]
* [[टार्स्की -ग्रोथेन्डिएक सेट थ्योरी | टार्स्की -ग्रोथेन्डिंक]]
* [[वॉन न्यूमैन -बर्नेज़ -गोदेल सेट थ्योरी | वॉन न्यूमैन -बर्नेज़ -गोदेल]]
* [[रचनात्मक सेट सिद्धांत | रचनात्मक]]
}}
}}
 
| group70 =[[औपचारिक प्रणाली]] &nbsp; ([[औपचारिक प्रणालियों की सूची |{{small|list}}]]),<br>[[औपचारिक भाषा | भाषा]] &nbsp; & amp; &nbsp; [[सिंटैक्स (तर्क) | सिंटैक्स]]
  | group70 = [[Syntax (logic)|Syntax]]&nbsp;&amp;&nbsp;[[Formal language|Language]]
| list70 =
   | list70 =
 
* [[Alphabet (formal languages)|Alphabet]]
  {{Navbox|subgroup
    
| group1 =  
 
| list1  =* [[वर्णमाला (औपचारिक भाषाएं) | वर्णमाला]]
* [[Arity]]
* [[Arity]]
* [[Expression (mathematics)|Expression]]
* [[ऑटोमेटा थ्योरी | ऑटोमेटा]]
** [[Ground expression|Ground]]
* [[स्वयंसिद्ध स्कीमा]]
* [[Extension by new constant and function names|Extension]]
* [[अभिव्यक्ति (गणित) | अभिव्यक्ति]]
* [[Finitary relation|Relation]]
** [[ग्राउंड एक्सप्रेशन | ग्राउंड]]
* Formal
* [[नए निरंतर और कार्य नामों द्वारा विस्तार | विस्तार]]
** [[Formal grammar|Grammar]]
** [[परिभाषा द्वारा विस्तार | परिभाषा के अनुसार]]
** [[Formal language|Language]]
** [[रूढ़िवादी विस्तार | रूढ़िवादी]]
** [[Formal proof|Proof]]
* [[फाइनल रिलेशन | संबंध]]
** [[Formal system|System]]
* [[गठन नियम]]
** [[Theory (mathematical logic)|Theory]]
* [[औपचारिक व्याकरण | व्याकरण]]
* [[Formation rule]]
* [[अच्छी तरह से गठित सूत्र | फॉर्मूला]]
* [[Well-formed formula|Formula]]
** [[परमाणु सूत्र | परमाणु]]
** [[Atomic formula|Atomic]]
** [[वाक्य (गणितीय तर्क) | बंद]]
** [[Sentence (mathematical logic)|Closed]]
** [[ग्राउंड फॉर्मूला | जमीन]]
** [[Ground formula|Ground]]
** [[ओपन फॉर्मूला | खुला]]
** [[Open formula|Open]]
* [[मुक्त चर और बाध्य चर | मुक्त/बाध्य चर]]
* [[Free variables and bound variables|Free/bound variable]]
* [[औपचारिक भाषा | भाषा]]
* [[Logical connective]]
* [[METALANGAGEAGE]]
** [[Negation|¬]]
* [[तार्किक संयोजी]]
** [[Logical disjunction|∨]]
** [[नकारात्मक |नकारात्मक ]]
** [[Logical conjunction|∧]]
** [[तार्किक विघटन | ∨]]
** [[Material conditional|→]]
** [[तार्किक संयोजन | ∧]]
** [[Logical biconditional|↔]]
** [[सामग्री सशर्त | →]]
** [[Logical equality|=]]
** [[लॉजिकल बाइकॉन्डिशनल | ↔]]
* [[Predicate (mathematical logic)|Predicate]]
** [[तार्किक समानता | =]]
** [[Functional predicate|Functional]]
* [[विधेय (गणितीय तर्क) | विधेय]]
** [[Predicate variable|Variable]]
** [[कार्यात्मक विधेय | कार्यात्मक]]
** [[Propositional variable]]
** [[विधेय चर | चर]]
* [[Quantifier (logic)|Quantifier]]
** [[प्रस्ताव चर]]
** [[Existential quantification|∃]]
* [[औपचारिक प्रमाण | प्रमाण]]
** [[Universal quantification|∀]]
* [[क्वांटिफायर (लॉजिक) | क्वांटिफायर]]
* [[Sentence (mathematical logic)|Sentence]]
** [[अस्तित्वगत मात्रा का ठहराव | ∃]]
** [[Atomic sentence|Atomic]]
** [[विशिष्टता की मात्रा का ठहराव |विशिष्टता की मात्रा का ठहराव ]]
* [[Signature (logic)|Signature]]
** [[सार्वभौमिक मात्रा का ठहराव | ∀]]
* [[String (formal languages)|String]]
** [[क्वांटिफायर रैंक | रैंक]]
* [[Substitution (logic)|Substitution]]
* [[वाक्य (गणितीय तर्क) | वाक्य]]
* [[Symbol (formal)|Symbol]]
** [[परमाणु वाक्य | परमाणु]]
** [[Uninterpreted function|Function]]
** [[एक वाक्य का स्पेक्ट्रम | स्पेक्ट्रम]]
** [[Logical constant|Logical/Constant]]
* [[हस्ताक्षर (तर्क) | हस्ताक्षर]]
** [[Non-logical symbol|Non-logical]]
* [[स्ट्रिंग (औपचारिक भाषाएं) | स्ट्रिंग]]
** [[Variable (mathematics)|Variable]]
* [[प्रतिस्थापन (तर्क) | प्रतिस्थापन]]
* [[Term (logic)|Term]]
* [[प्रतीक (औपचारिक) | प्रतीक]]
 
** [[निर्बाध कार्य | फ़ंक्शन]]
  | group80 = [[Proof theory]]
** [[तार्किक स्थिरांक | तार्किक/स्थिर]]
  | list80 =
** [[गैर-लॉजिकल प्रतीक | गैर-लॉजिकल]]
* [[Formal proof]]
** [[चर (गणित) | चर]]
* [[Natural deduction]]
* [[शब्द (तर्क) | शब्द]]
* [[Logical consequence]]
* [[सिद्धांत (गणितीय तर्क) | सिद्धांत]]
* [[Rule of inference]]
** [[गणितीय सिद्धांतों की सूची |{{small|list}}]]
* [[Sequent calculus]]
| group8 = {{nowarp|Example&nbsp;[[Axiomatic system|axiomatic<br/>systems]]&nbsp;{{smaller|([[List of first-order theories|list]])}}}}
* [[Theorem]]
| list8 =* [[ट्रू अंकगणित | अंकगणित]]:
* Systems
** [[पीनो स्वयंसिद्ध | पीनो]]
** [[Formal system|Formal]]
** [[सेकंड-ऑर्डर अंकगणित | सेकंड-ऑर्डर]]
** [[Axiomatic system|Axiomatic]]
** [[प्राथमिक कार्य अंकगणित | प्राथमिक कार्य]]
** [[Deductive system|Deductive]]
** [[आदिम पुनरावर्ती अंकगणित | आदिम पुनरावर्ती]]