您的当前位置：领域 > 数理逻辑 领域
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
矢列式 （数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
非标准分析 （数理逻辑 名词）
非标准分析(Non-standard analysis)，数学中利用现代数理逻辑
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
朴素集合论 （其他数学相关）
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精
递归集 （数理逻辑 名词）
递归集是递归论用语。令A?Nn，如果A的特征函数CA(x1，…，xn)是μ-递归
摹状算子 （数理逻辑 名词）
摹状算子（description operator）是1993年公布的数学名词。
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
佐恩引理 （其他科学相关）
佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratow
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
连续统假设 （数理逻辑 名词）
1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
递归结构 （数理逻辑 名词）
递归结构（recursive structure）是1993年公布的数学名词。
投影确定性 （数理逻辑 名词）
投影确定性（projective determinacy）是1993年公布的数学
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
前束词 （数理逻辑 名词）
前束词（prefix）是1993年公布的数学名词。
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
力迫条件 （数理逻辑 名词）
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
第一超穷序数 （数理逻辑 名词）
第一超穷序数（first transfinite ordinal）是1993年公
脱殊集 （数理逻辑 名词）
脱殊集（generic set）是1993年公布的数学名词。
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示