| 邏輯 logic
數(shù)理邏輯 mathematical logic
模型論 model theory
集合論 set theory
遞歸論 recursion theory
證明論 proof theory
非標準分析 nonstandard analysis
反推數(shù)學(xué) reverse mathematics
元數(shù)學(xué) metamathematics
二階算術(shù)的子系統(tǒng) subsystems of the second-order arithmetic
直覺主義 intuitionism
構(gòu)造性數(shù)學(xué) constructive mathematics
語言 language
元語言 metalanguage
元定理 metatheorem
公理 axiom
定理 theorem
命題 proposition
命題演算 propositional calculus
謂詞演算 predicate calculus
合取 conjunction
析取 disjunction
非,否定 negation
量詞 quantifier
全稱量詞 universal quantifier
存在量詞 existential quantifier
關(guān)系 relation
函數(shù) function
常量 constant
變元,變量 variable
項 term
公式 formula
原子公式 atomic formula
句子,命題 sentence
永真命題 tautology
前束標準型 prenex normal form
理論 theory
可滿足的 satisfiable
和諧性,相容性 consistency
句法 syntax
語義 semantics
可靠性定理 soundness theorem
完備性定理 completeness theorem
緊致性定理 compactness theorem
可公理化 axiomatizable
有限可公理化 finitely axiomatizable
同構(gòu) isomorphism
同態(tài) homomorphism
初等等價 elementary equivalent
初等嵌入 elementary embedding
初等子模型 elementary submodel
初等擴張 elementary extension
圖象 diagram
正圖象 positive diagram
初等圖象 elementary diagram
模型 model
可數(shù)模型 countable model
不可數(shù)模型 uncountable model
原子模型 atomic model
素模型 prime model
齊性模型 homogeneous model
萬有模型 universal model
飽和模型 saturated model
特殊模型 special model
遞歸飽和模型 recursively saturated model
布爾值模型 boolean-valued model
格值模型 lattice-valued model
超濾 ultrafilter
超積 ultraproduct
超冪 ultrapower
模型完備 model complete
子模型完備 submodel complete
量詞消去 quantifier elimination
穩(wěn)定性理論 stable theory
集,集合 set
子集 subset
冪集 power set
空集 empty set
有限集 finite set
無限集 infinite set
可數(shù)集 countable set
不可數(shù)集 uncountable set
有限集 finite set
無限集 infinite set
序數(shù) ordinal
極限序數(shù) limit ordinal
后繼序數(shù) successor ordinal
基數(shù) cardinal
大基數(shù) large cardinal
可測基數(shù) measurable cardinal
正則基數(shù) regular cardinal
奇異基數(shù) singular cardinal
不可達基數(shù) inaccessible
力迫法 forcing
連續(xù)統(tǒng)假設(shè) Continuum Hypothesis
選擇公理 Axiom of Choice
決定性公理 Axiom of Determinacy
歸納法 induction
超限歸納法 transfinite induction
超限遞歸 transfinite recursion
遞歸 recursion
原始遞歸 primitive recursive
遞歸函數(shù) recursive function
遞歸可枚舉 recursively enumerable
遞歸可判定 recursively decidable
遞歸不可分 recursively inseparable
遞歸集 recursive set
算術(shù)集 arithmetical set
解析集 analytic set
單純集 simple set
創(chuàng)造集 creative set
多一歸約 many-one reducible
一一歸約 one-one reducible
圖靈歸約 Turing reducible
不可解度 degree of unsolvability
圖靈度 Turing degree
一階邏輯 first-order logic
二階邏輯 second-order logic
高階邏輯 higher-order logic
非古典邏輯 non-classical logic
無窮邏輯 infinitary logic
古典邏輯 classical logic
直覺主義邏輯 intuitionistic logic
模態(tài)邏輯 modal logic
多值邏輯 many-valued logic |
