教育资源公共服务平台
站内导航
公共查询科学技术名词证明论
数学数理逻辑数学基础

证明论科技名词 证明论科学技术名词 证明论科技名词大全 证明论科技名词术语 证明论科技名词有哪些 证明论科技名词的翻译

证明论科技名词

证明论 第1页
科技名词学科详情
希尔伯特计划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数学 > 数理逻辑数学基础详情
首页 末页 | 1 | 上一页 下一页
科学技术名词为您提供证明论科技名词,证明论科学技术名词,证明论科技名词大全,证明论科技名词术语,证明论科技名词有哪些,证明论科技名词的翻译
科学技术名词出版物
查看全部