本字幕由TME AI技术生成 集合论或称集论 是研究集合由一堆抽象对象构成的整体的数学理论 包含集合和元素或称为成员关系等最基本数学概念 在大多数现代数学的公式化中 集是在集合论的语言下谈论各种数学对象 集合论命题逻辑与谓词逻辑共同构成了数学的公理化基础 以未定义的集合与集合成员等术语来形式化的建构数学物质 见