公理化集合论是集合论的一个版本，其中公理被视为未解释的，而不是作为对先前存在的真理的形式化。
公理化集合论
另请参阅
公理系统, 完备公理理论, 朴素集合论, 集合论使用 Wolfram|Alpha 探索
参考文献
Curry, H. B. 数学逻辑基础。 纽约: Dover, pp. 22-23, 1977.在 Wolfram|Alpha 上引用
公理化集合论请引用为
Weisstein, Eric W. "公理化集合论。" 来自 MathWorld--一个 Wolfram 网络资源。 https://mathworld.net.cn/AxiomaticSetTheory.html