Constructive set theory

像所有自然数的集合或任意有理数的序列这样的无穷当作实体来考虑。这要求将集合论和微积分的基础分别重新构造为构造主义集合论（英语：Constructive set theory）和构造主义分析。 鲁伊兹·布劳威尔 阿蘭德·海廷 斯蒂芬·克莱尼 迈克尔·达米特 直觉逻辑 直觉主义算术 直觉类型理论 直觉主义集合论

一个可证明的定理。埃里特‧畢夏普（英语：Errett Bishop）认为选择公理可被視作是構造性的： 但在構造性集合論（英语：Constructive set theory）中，迪亚科内斯库定理表明选择公理蘊涵了排中律（在直觉类型论中，选择公理不蘊涵排中律）。因此选择公理在構造性集合論中並非普遍被

Lane), topos theory, Kripke-Platek set theory, Foster-Kaye set theory, Harvey Friedman, and systems similar to 新基礎集合論. Axioms of Set Theory at ProvenMath

集合論（英語：set theory）或稱集論，是研究集合（由一堆抽象对象構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種数学对象。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。

mathematical properties of Lesniewski's mereology. （英文）Potter, Michael, 2004. Set Theory and Its Philosophy. Oxford Univ. Press. （英文） Simons, Peter, 1987. Parts: