集合论

集合论（英语：Set theory）或称集论，是研究集合（由一堆抽象对象构成个整体）个数学理论，包含集合搭元素（或称为成员）、关系等最基本数学概念。拉大多数现代数学个公式化中，侪是拉集合论个语言下谈论各种数学对象。集合论、命题逻辑搭谓词逻辑共同构成了数学个公理化基础，以未定义个“集合”搭“集合成员”等术语来形式化地建构数学对象。