您的当前位置：领域 > 数理逻辑 领域
高阶逻辑 （数理逻辑）
高阶逻辑亦称"广义谓词逻辑"、"高阶谓词逻辑"。一阶逻辑的推广系统，谓词逻辑的重
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
脱殊集 （数理逻辑 名词）
脱殊集（generic set）是1993年公布的数学名词。
通用函数 （数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。
前束词 （数理逻辑 名词）
前束词（prefix）是1993年公布的数学名词。
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
递归结构 （数理逻辑 名词）
递归结构（recursive structure）是1993年公布的数学名词。
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
真假值表 （数理逻辑 名词）
真假值表（truth table）是1993年公布的数学名词。
斯科伦函数 （数理逻辑 名词）
斯科伦函数（Skolem function）是1993年公布的数学名词。
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
第一超穷序数 （数理逻辑 名词）
第一超穷序数（first transfinite ordinal）是1993年公
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
波斯特系统 （数理逻辑领域术语）
波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，
停机问题 （数理逻辑 名词）
停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个
形式主义逻辑学派 （数理逻辑和数学基础研究中的学派）
形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
同一关系 （数理逻辑术语）
同一关系又称全同关系、重合关系，相容关系之一。两个概念的外延全部重合的关系。如：
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
逻辑主义逻辑学派 （数理逻辑和数学基础研究中的学派）
逻辑主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是英国的哲学家、数
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
力迫条件 （数理逻辑 名词）
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的
非标准分析 （数理逻辑 名词）
非标准分析(Non-standard analysis)，数学中利用现代数理逻辑
语句 （词汇|汉字）
一个语法上自成体系的单位，它由一个词或句法上有关连的一组词构成，表达一种主张、疑
替换 （词汇）
替换，指更替调换;倒换。1、指把原来的(工作着的人、使用着的衣物等)调换下来;倒
序数 （其他）
集合论基本概念之一，是日常使用的第一、第二等表示次序的数的推广。序数概念是建立在
假值 （生活日用品 | 信息通讯）
代入 （机械）
代入(substitution)谓词演算的基本运算之一设沪是一个谓词演算公式，x
可计算性 （语言 | 信息通讯）
谓词演算 （信息通讯）
数理逻辑最基本的形式系统。又称一阶逻辑。一个可以回答真假的命题，不仅可以分析到简
命题代数 （信息通讯）
数学归纳法 （石材）
字母表 （其他文化相关）
大约公元前13世纪，腓尼基人创造了人类历史上第一批字母文字，共22个字母(无元音