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