集合是一种数学对象. 在主流数学的观点下, 集合论是数学的基础, 所有数学对象都是集合, 而集合本身的概念是未定义的. 主流数学通过一套公理系统, 例如 ZFC 集合论, 来描述集合的性质, 所有数学推理都建立在这套公理的基础上.
在同伦类型论的观点下, 集合被定义为 0-群胚, 见集合 (类型论).
历史
相关概念
集合 • 英文 set • 德文 Menge (f) • 法文 ensemble (m) • 拉丁文 copia (f) • 俄文 множество (n) • 古希腊文 σύνολον (n)