朴素集合论（综述.pdfVIP

朴素集合论（综述）

[3]

朴素集合论是⽤于讨论数学基础的⼏种集合论之⼀。与公理化集合论不同，公理化集合论

是使⽤形式逻辑定义的，⽽朴素集合论则是以⾃然语⾔⾮正式地定义的。它描述了离散数学中常

⻅的数学集合的各个⽅⾯（例如维恩图和关于其布尔代数的符号推理），并且⾜以满⾜当代数学中

集合论概念的⽇常使⽤。[4]

集合在数学中具有重要意义；在现代形式化处理⽅式中，⼤多数数学对象（如数字、关系、

函数等）都是通过集合来定义的。朴素集合论⾜以应对许多⽬的，同时也为更为正式的处理⽅法

供了⼀个基础。

1.⽅法

在“朴素集合论”的意义上，朴素理论是⼀种⾮形式化的理论，即使⽤⾃然语⾔描述集合及

其运算的理论。这种理论将集合视为柏拉图式的绝对对象。诸如“和”、“或”、“如果...那么”、

“⾮”、“存在个”、“对每个”之类的词汇，按照普通数学中的⽤法处理。出于⽅便，即使在更⾼

级的数学中，朴素集合论及其形式化⽅法仍然占主导地位——包括在集合论本⾝更为正式的设置

中。

集合论的最初发展是朴素集合论。它是在19世纪末由乔治·康托尔创⽴的，作为他研究⽆限

集合的⼀