数理逻辑数学基础科技名词
数理逻辑数学基础科技名词:第3页
受囿量词
bounded quantifier
前束词
prefix
前束范式
prenex normal form
语句
sentence
逻辑表达式
logical expression
闭公式
closed formula
替换
replacement
代入
substitution
理论
theory
全域
universe
高阶逻辑
high order logic
多种类谓词演算
many sorted predicate calculus
无穷逻辑
infinitary logic
一阶理论
first-order theory
结构
structure
模型
model
非标准模型
non-standard model
相容性
consistency
完全性
completeness
模型完全性
model completeness
可满足性
satisfiability
可定义性
definability
可表示性
representability
膨胀
expansion
斯科伦函数
Skolem function
斯科伦壳
Skolem hull
斯科伦佯谬
Skolem paradox
降L-S定理
downward Loewenheim-Skolem theorem
内插定理
interpolation theorem
量词消去
elimination of quantifier
首页
上一页
第3页
下一页
数理逻辑数学基础 的上级学科
数学
数理逻辑数学基础 的下级学科
模型论
证明论
集合论
递归论
数学基础
非经典逻辑