抽象[化]
规范用词
抽象[化]
英文翻译
abstraction
所属学科
数学
>
数理逻辑数学基础
>
证明论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
证明论 的上级学科
数学
数理逻辑数学基础
抽象[化] 相关科技名词
希尔伯特计划
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