[数]?公理集合论
公理集合论(axiomatic set theory)是数理逻辑的主要分支之一。是用公理化方法重建(朴素)集合论的研究以及集合论的元数学和集合论的新的公理的研究。
?公理论的集论
... axiomatic system 公理体系 axiomatic set theory 公理论的集论;公理集结论 axiomatic method 公理法 ...
?公理化集合论
在这场运动中, 许多原本晚得多才讲述的内容被加入到了中小学教材中, 其中包括公理化集合论 (axiomatic set theory)、 模算术 (modular arithmetic)、 抽象代数 (abstract algebra)、 符号逻辑 (symbolic logic) 等 [注一] 。
?什么
...集合论中序数的定义是什么 答:公理集合论(axiomatic set theory)用形式化公理化方法研究序同构集合论的一个学科。数理逻辑的主要分支之一。
近代公理集合论
中介公理集合论
GB公理集合论系统
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。