教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
证明论
数学
数理逻辑数学基础
证明论
算术系统 arithmetic system 算术系统的意思 arithmetic system的意思 算术系统的英文 arithmetic system的翻译
算术系统
规范用词
算术系统
英文对照
arithmetic system
所属学科
数学
>
数理逻辑数学基础
>
证明论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供算术系统,arithmetic system,算术系统的意思,arithmetic system的意思,算术系统的英文,arithmetic system的翻译,算术系统的翻译,算术系统是什么意思,算术系统什么意思,arithmetic system是什么意思,arithmetic system什么意思
算术系统 相关科技名词
证明论»
希尔伯特计划
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