集合论

出自维基百科,自由个百科全书

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