摘要：形而上学对集合论的解释要么不一致，要么不连贯。数学中使用的集合实际上包括三种不同的收集方式（可测量的、明确的和启发式的），这些集合由三种不同的逻辑（经典的、直觉主义的和最小化的）控制。采用这种分析并基于数学概念主义原则的基础系统比泽尔梅洛-弗雷尼尔集合论更符合实际的数学实践。
作者：Nik Weaver
论文ID：0905.1677
分类：History and Overview
分类简称：math.HO
提交时间：2009-05-12
PDF 下载： 英文版 中文版pdf翻译中