公理化集合論是集合論的一個版本,其中公理被視為未解釋的,而不是作為對先前存在的真理的形式化。
公理化集合論
另請參閱
公理系統, 完備公理理論, 樸素集合論, 集合論使用 探索
參考文獻
Curry, H. B. 數學邏輯基礎。 紐約: Dover, pp. 22-23, 1977.在 上引用
公理化集合論請引用為
Weisstein, Eric W. "公理化集合論。" 來自 --一個 Wolfram 網路資源。 https://mathworld.tw/AxiomaticSetTheory.html