您的当前位置：领域 > 数理逻辑 领域
形式主义学派 （数理逻辑和数学基础研究中的学派）
形式主义学派，数理逻辑和数学基础研究中的一个学派。认为数学的真理性体现在它的不矛
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)
佐恩引理 （其他科学相关）
佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratow
形式主义逻辑学派 （数理逻辑和数学基础研究中的学派）
形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。
逻辑主义逻辑学派 （数理逻辑和数学基础研究中的学派）
逻辑主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是英国的哲学家、数
高阶逻辑 （数理逻辑）
高阶逻辑亦称"广义谓词逻辑"、"高阶谓词逻辑"。一阶逻辑的推广系统，谓词逻辑的重
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
投影确定性 （数理逻辑 名词）
投影确定性（projective determinacy）是1993年公布的数学
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
第一超穷序数 （数理逻辑 名词）
第一超穷序数（first transfinite ordinal）是1993年公
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
不可达基数 （数理逻辑 名词）
不可达基数(inaccessible cardinals)强弱不可达基数的统称.
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
直觉主义逻辑学派 （数理逻辑和数学基础研究中的一种学派）
直觉主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。
波斯特系统 （数理逻辑领域术语）
波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，
非标准分析 （数理逻辑 名词）
非标准分析(Non-standard analysis)，数学中利用现代数理逻辑
连续统假设 （数理逻辑 名词）
1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名
互斥析取 （数理逻辑 名词）
互斥析取（exclusive disjunction）是1993年公布的数学名词
描述集合论 （其他数学相关）
描述集合论(Descriptivesettheory)是数学中数理逻辑、集合论的
斯科伦函数 （数理逻辑 名词）
斯科伦函数（Skolem function）是1993年公布的数学名词。
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
停机问题 （数理逻辑 名词）
停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个
模型论 （数理逻辑 名词）
模型论(Model theory)是数学的一个学科，模型论的一些重要定理，如紧致
语句 （词汇|汉字）
一个语法上自成体系的单位，它由一个词或句法上有关连的一组词构成，表达一种主张、疑
排中律 （其他科学相关）
排中律，传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当
替换 （词汇）
替换，指更替调换;倒换。1、指把原来的(工作着的人、使用着的衣物等)调换下来;倒
序数 （其他）
集合论基本概念之一，是日常使用的第一、第二等表示次序的数的推广。序数概念是建立在
枚举 （词汇 | 信息通讯）
枚举在C/C++/c#,还有Objective-C中，是一个被命名的整型常数的集
假值 （生活日用品 | 信息通讯）
代入 （机械）
代入(substitution)谓词演算的基本运算之一设沪是一个谓词演算公式，x
元数学 （数学 | 石材）
元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是
吴允曾 （数理逻辑学家和计算机科学家）
吴允曾，数理逻辑学家和计算机科学家。籍贯浙江省杭州市仁和县，1918年4月4日出
可计算性 （语言 | 信息通讯）