归纳证明
规范用词
归纳证明
英文翻译
proof by induction
所属学科
数学
>
数理逻辑数学基础
>
模型论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
模型论 的上级学科
数学
数理逻辑数学基础
归纳证明 相关科技名词
可满足性
satisfiability
可定义性
definability
可表示性
representability
膨胀
expansion
斯科伦函数
Skolem function
斯科伦壳
Skolem hull
斯科伦佯谬
Skolem paradox
降L-S定理
downward Loewenheim-Skolem theorem
内插定理
interpolation theorem
量词消去
elimination of quantifier
初等等价[的]
elementarily equivalent
子结构
substructure
子模型
submodel
初等子结构
elementary substructure
初等子模型
elementary submodel
模型链
chain of model
型
type
型省略定理
omitting types theorem
进退构造
back and forth construction
不可辨元
indiscernible
原子[语]句
atomic sentence;primitive sentence
原子公式
atomic formula
原子理论
atomic theory
原子模型
atomic model
素模型
prime model
饱和模型
saturated model
万有模型
universal model
极小模型
minimal model
齐次模型
homogeneous model
范畴性
categoricity
稳定性
stability
分叉
forking
莫利定理
Morley theorem
可靠性
soundness
递归结构
recursive structure
容许结构
admissible structure
形式化算术
formalized arithmetic
抽象模型论
abstract model theory
非标准分析
non-standard analysis
无穷小
infinitesimal
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单