教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
证明论
数学
数理逻辑数学基础
证明论
抽象[化] abstraction 抽象[化]的意思 abstraction的意思 抽象[化]的英文 abstraction的翻译 抽象[化]的翻译
抽象[化]
规范用词
抽象[化]
英文对照
abstraction
所属学科
数学
>
数理逻辑数学基础
>
证明论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供抽象[化],abstraction,抽象[化]的意思,abstraction的意思,抽象[化]的英文,abstraction的翻译,抽象[化]的翻译,抽象[化]是什么意思,抽象[化]什么意思,abstraction是什么意思,abstraction什么意思
抽象[化] 相关科技名词
证明论»
希尔伯特计划
Hilbert program
直觉主义逻辑
intuitionist logic
构造性
constructivity
构造论者
constructivist
直觉主义数学
intuitionistic mathematics
抽象[化]
abstraction
佩亚诺公理
Peano axiom
数学归纳法
mathematical induction
二阶算术
second-order arithmetic
数词可表示性
numeralwise representability
可驳[的]
refutable
ω相容性
ω-consistency;omega- consistency
不可证明性
unprovability
强度
strength
相对相容性
relative consistency
算术化
arithmetization
算术系统
arithmetic system
元理论
metatheory
元逻辑
metalogic
元语言
metalanguage
独立性
independence
元数学
metamathematics
可判定性
decidability
形式不可判定命题
formal undecidable proposition
判定问题
decision problem
截规则
cut rule