La teoría de conxuntos aniciar nel estudiu del infinitu por Georg Cantor y foi la fonte de munchos de les temes más griespes ya importantes de la lóxica matemática, a partir del teorema de Cantor, al traviés del estatus del axoma d'elección y la cuestión de la independencia de la hipótesis del continuu, al alderique modernu sobre grandes axomes cardinales.