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