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

這套理論原來的目的是企圖用精確化的形式語言和公設化方法來重建康托集合論（Cantorian set theory），因為康托在他的集合論裡製造出一個以前 ...

公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是ZFC 集合論。除了其基礎的作用外， ...

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

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

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