公理集合论（axiomatic set theory）是数理逻辑的主要分支之一。是用公理化方法重建（朴素）集合论的研究以及集合论的元数学和集合论的新的公理的研究。
基于159个网页-相关网页
... axiomatic system 公理体系 axiomatic set theory 公理论的集论;公理集结论 axiomatic method 公理法 ...
基于86个网页-相关网页
在这场运动中， 许多原本晚得多才讲述的内容被加入到了中小学教材中， 其中包括公理化集合论 (axiomatic set theory)、 模算术 (modular arithmetic)、 抽象代数 (abstract algebra)、 符号逻辑 (symbolic logic) 等 [注一] 。
基于29个网页-相关网页
modern axiomatic set theory 近代公理集合论
medium axiomatic set theory 中介公理集合论
gb axiomatic set theory system GB公理集合论系统
axiomatic medium set theory 中介公理集合论
应用推荐