它是德国数学家康托尔于19世纪末创立的。当时,康托尔在解决涉及无限量研究的数学问题时,越过“数集”限制,提出了一般性的“集合”概念。关于集合论,希尔伯特赞誉其为“数学思想的惊人的产物,在纯粹理性的范畴中人类活动的最美的表现之一”,罗素描述其为“可能是这个时代所能夸耀的最伟大的工作”。