您的当前位置：领域 > 数理逻辑 领域
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
形式主义学派 （数理逻辑和数学基础研究中的学派）
形式主义学派，数理逻辑和数学基础研究中的一个学派。认为数学的真理性体现在它的不矛
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)
通用函数 （数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
斯科伦函数 （数理逻辑 名词）
斯科伦函数（Skolem function）是1993年公布的数学名词。
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
归约 （数理逻辑 名词）
归约是使用解题的"黑盒"来解决另一个问题的思维方式。英文决其它问Reductio
投影确定性 （数理逻辑 名词）
投影确定性（projective determinacy）是1993年公布的数学
递归论 （数理逻辑的重要分支之一）
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
波斯特系统 （数理逻辑领域术语）
波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，
同一关系 （数理逻辑术语）
同一关系又称全同关系、重合关系，相容关系之一。两个概念的外延全部重合的关系。如：
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
隶属关系 （数理逻辑 名词）
?隶属关系是指在类目表中下位类一定要带有上位类的属性，上位类一定能包含它所属的各
递归分析 （石材）
模型论 （数理逻辑 名词）
模型论(Model theory)是数学的一个学科，模型论的一些重要定理，如紧致
第一超穷序数 （数理逻辑 名词）
第一超穷序数（first transfinite ordinal）是1993年公
摹状算子 （数理逻辑 名词）
摹状算子（description operator）是1993年公布的数学名词。
前束词 （数理逻辑 名词）
前束词（prefix）是1993年公布的数学名词。
直觉主义逻辑学派 （数理逻辑和数学基础研究中的一种学派）
直觉主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
矢列式 （数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
递归结构 （数理逻辑 名词）
递归结构（recursive structure）是1993年公布的数学名词。
不可达基数 （数理逻辑 名词）
不可达基数(inaccessible cardinals)强弱不可达基数的统称.
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
朴素集合论 （其他数学相关）
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精
真假值表 （数理逻辑 名词）
真假值表（truth table）是1993年公布的数学名词。
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
脱殊集 （数理逻辑 名词）
脱殊集（generic set）是1993年公布的数学名词。