分享

几个逻辑相关的英语单词

 新道家 2008-12-25
 

  逻辑 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  

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多