在大多数现代数学的公式化中,集合论提供了要如何描述数学物件的语言。
集合论和逻辑与一阶逻辑共同构成了数学的公理化基础,以未定义的“集合”与“集合成员”等术语来形式化地建构数学物件。
集合论在数学中占有一个独特的地位,它的基本概念已渗透到数学的所有领域。
在朴素集合论中,集合被当做一堆物件构成的整体之类的自证概念。
在公理化集合论中,集合和集合成员并不直接被定义,而是先规范可以描述其性质的一些公理。
在此一想法之下,集合和集合成员是有如在欧式几何中的点和线,而不被直接定义。
集合: 集合是指具有某种特定性质的具体的或抽象的对象汇总成的集体,这些对象称为该集合的元素。
例如全中国人的集合,它的元素就是每一个中国人。
我们通常用大写字母如A,B,S,T,...表示集合,而用小写字母如a,b,x,y,...表示集合的元素。
若x是集合S的元素,则称x属于S,记为x∈S。
若y不是集合S的元素,则称y不属于S,记为y∉S。
一般的我们把含有有限个元素的集合叫做有限集,含无限个元素的集合叫做无限集。
内容来自网友回答
集合的概念与表示