基于哲学逻辑的集合论研究

康托爾在建立集合論時沒有使用公理化和形式化的方法﹐後來就將這種沒有使用公理化和形式化方法的集合論稱為樸素集合論。集合論的進一步發展是公理化集合 ...

公理集合论（axiomatic set theory），是数理逻辑的主要分支之一，是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。19 ...

書名：公理化集合論（簡體書），ISBN：9787310059492，出版社：南開大學出版社，作者：李娜，頁數：310，出版日期：2020/08/01.

在第三次數學危機[15] 的. 沖擊下, 數學家們積極開展集合論公理化的. 研究, 設法把集合概念限制為康托在1899 年. 所提出的相容的集合。[16] 數學家E. 策墨略. ( ...

在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末 ...