教育资源公共服务平台
站内导航

数学科技名词 数学科学技术名词 数学科技名词大全 数学科技名词术语 数学科技名词有哪些 数学科技名词的翻译

数学 第10页
科技名词学科详情
元理论metatheory数学 > 数理逻辑数学基础详情
元逻辑metalogic数学 > 数理逻辑数学基础详情
元语言metalanguage数学 > 数理逻辑数学基础详情
独立性independence数学 > 数理逻辑数学基础详情
元数学metamathematics数学 > 数理逻辑数学基础详情
可判定性decidability数学 > 数理逻辑数学基础详情
形式不可判定命题formal undecidable proposition数学 > 数理逻辑数学基础详情
判定问题decision problem数学 > 数理逻辑数学基础详情
截规则cut rule数学 > 数理逻辑数学基础详情
集合论set theory数学 > 数理逻辑数学基础详情
描述集合论descriptive set theory数学 > 数理逻辑数学基础详情
朴素集合论naive set theory数学 > 数理逻辑数学基础详情
公理化集合论axiomatic set theory数学 > 数理逻辑数学基础详情
策梅洛-弗兰克尔集合论Zermelo-Frankel set theory数学 > 数理逻辑数学基础详情
直谓集合论predicative set theory数学 > 数理逻辑数学基础详情
非直谓集合论impredicative set theory数学 > 数理逻辑数学基础详情
外延性extensionality数学 > 数理逻辑数学基础详情
确定性determinacy数学 > 数理逻辑数学基础详情
投影确定性projective determinacy数学 > 数理逻辑数学基础详情
佐恩引理Zorn lemma数学 > 数理逻辑数学基础详情
选择公理axiom of choice数学 > 数理逻辑数学基础详情
选择函数choice function数学 > 数理逻辑数学基础详情
归纳序集inductive ordered set数学 > 数理逻辑数学基础详情
连续统continuum数学 > 数理逻辑数学基础详情
连续统假设continuum hypothesis数学 > 数理逻辑数学基础详情
广义连续统假设generalized continuum hypothesis数学 > 数理逻辑数学基础详情
概括公理comprehension axiom数学 > 数理逻辑数学基础详情
正则公理regularity axiom数学 > 数理逻辑数学基础详情
正则集regular set数学 > 数理逻辑数学基础详情
本元urelement数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页 下一页
科学技术名词为您提供数学科技名词,数学科学技术名词,数学科技名词大全,数学科技名词术语,数学科技名词有哪些,数学科技名词的翻译
科学技术名词出版物