几个逻辑相关的英语单词
失事的意思
逻辑 logic
数理逻辑 mathematical logic
模型论 model theory
集合论 t theory
递归论 recursion theory
证明论 proof theory
非标准分析 nonstandard analysis
反推数学 rever mathematics
护胸
元数学 metamathematics
二阶算术的子系统 subsystems of the cond-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
句子,命题 ntence
永真命题 tautology
前束标准型 prenex normal form
理论 theory
可满足的 satisfiable
长沙影视后期培训和谐性,相容性 consistency
empty怎么读句法 syntax
语义 mantics
可靠性定理 soundness theorem
完备性定理 completeness theorem
英语短语紧致性定理 compactness theorem
commend和recommend可公理化 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
spp饱和模型 saturated model
特殊模型 special model
递归饱和模型 recursively saturated model
布尔值模型 boolean-valued model
relax什么意思
格值模型 lattice-valued model
超滤 ultrafilter
超积 ultraproduct
超幂 ultrapower
模型完备 model complete
子模型完备 submodel complete
量词消去 quantifier elimination
稳定性理论 stable theory
集,集合 t
子集 subt
韩剧坏男人结局
幂集 power t
空集 empty t
有限集 finite t
无限集 infinite t
可数集 countable t
不可数集 uncountable t
有限集 finite t
无限集 infinite t
序数 ordinal
极限序数 limit ordinal
