http://www.math./simpson/chinese/ChinText/gb/logic
逻辑 logic
数理逻辑 mathematical logic
模型论 model theory
集合论 set theory
递归论 recursion theory
证明论 proof theory
非标准分析 nonstandard analysis
反推数学 reverse mathematics
元数学 metamathematics
二阶算术的子系统 subsystems of the second-order arithmetic
直觉主义 intuitionism
构造性数学 constructive mathematics
语言 language
元语言 metalanguage
元定理 metatheorem
公理 axiom
定理 theorem
命题 proposition
命题演算 propositional calculus
谓词演算 predicate calculus
合取 conjunction
析取 disjunction
非,否定 negation
量词 quantifier
全称量词 universal quantifier
存在量词 existential quantifier
关系 relation
函数 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
同构 isomorphism
同态 homomorphism
初等等价 elementary equivalent
初等嵌入 elementary embedding
初等子模型 elementary submodel
初等扩张 elementary extension
图象 diagram
正图象 positive diagram
初等图象 elementary diagram
模型 model
可数模型 countable model
不可数模型 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
稳定性理论 stable theory
集,集合 set
子集 subset
幂集 power set
空集 empty set
有限集 finite set
无限集 infinite set
可数集 countable set
不可数集 uncountable set
有限集 finite set
无限集 infinite set
序数 ordinal
极限序数 limit ordinal
后继序数 successor ordinal
基数 cardinal
大基数 large cardinal
可测基数 measurable cardinal
正则基数 regular cardinal
奇异基数 singular cardinal
不可达基数 inaccessible
力迫法 forcing
连续统假设 Continuum Hypothesis
选择公理 Axiom of Choice
决定性公理 Axiom of Determinacy
归纳法 induction
超限归纳法 transfinite induction
超限递归 transfinite recursion
递归 recursion
原始递归 primitive recursive
递归函数 recursive function
递归可枚举 recursively enumerable
递归可判定 recursively decidable
递归不可分 recursively inseparable
递归集 recursive set
算术集 arithmetical set
解析集 analytic set
单纯集 simple set
创造集 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
模态逻辑 modal logic
多值逻辑 many-valued logic
|
