集合

集合是一种数学对象. 在主流数学的观点下, 集合论是数学的基础, 所有数学对象都是集合, 而集合本身的概念是未定义的. 主流数学通过一套公理系统, 例如 ZFC 集合论, 来描述集合的性质, 所有数学推理都建立在这套公理的基础上.

同伦类型论的观点下, 集合被定义为 -群胚, 见集合 (类型论).

1历史

2相关概念

集合范畴

术语翻译

集合英文 set德文 Menge (f)法文 ensemble (m)拉丁文 copia (f)俄文 множество (n)古希腊文 σύνολον (n)