它是德國(guó)數(shù)學(xué)家康托爾于19世紀(jì)末創(chuàng)立的。當(dāng)時(shí)，康托爾在解決涉及無(wú)限量研究的數(shù)學(xué)問(wèn)題時(shí)，越過(guò)“數(shù)集”限制，提出了一般性的“集合”概念。關(guān)于集合論，希爾伯特贊譽(yù)其為“數(shù)學(xué)思想的驚人的產(chǎn)物，在純粹理性的范疇中人類活動(dòng)的最美的表現(xiàn)之一”，羅素描述其為“可能是這個(gè)時(shí)代所能夸耀的最偉大的工作”。