您的当前位置：领域 > 数理逻辑 领域
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
递归分析 （石材）
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
朴素集合论 （其他数学相关）
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
直觉主义逻辑学派 （数理逻辑和数学基础研究中的一种学派）
直觉主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。
递归论 （数理逻辑的重要分支之一）
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题
形式主义学派 （数理逻辑和数学基础研究中的学派）
形式主义学派，数理逻辑和数学基础研究中的一个学派。认为数学的真理性体现在它的不矛
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
模型论 （数理逻辑 名词）
模型论(Model theory)是数学的一个学科，模型论的一些重要定理，如紧致
力迫条件 （数理逻辑 名词）
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
波斯特系统 （数理逻辑领域术语）
波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，
停机问题 （数理逻辑 名词）
停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个
形式主义逻辑学派 （数理逻辑和数学基础研究中的学派）
形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
同一关系 （数理逻辑术语）
同一关系又称全同关系、重合关系，相容关系之一。两个概念的外延全部重合的关系。如：
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
逻辑主义逻辑学派 （数理逻辑和数学基础研究中的学派）
逻辑主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是英国的哲学家、数
np问题 （数理逻辑 名词）
NP问题是指存在多项式算法能够验证的非决定性问题，而其中NP完全问题又是最有可能
描述集合论 （其他数学相关）
描述集合论(Descriptivesettheory)是数学中数理逻辑、集合论的
投影确定性 （数理逻辑 名词）
投影确定性（projective determinacy）是1993年公布的数学
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
佐恩引理 （其他科学相关）
佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratow
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)
高阶逻辑 （数理逻辑）
高阶逻辑亦称"广义谓词逻辑"、"高阶谓词逻辑"。一阶逻辑的推广系统，谓词逻辑的重
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系