O estudo moderno da teoria dos conjuntos foi iniciado por Georg Cantor e Richard Dedekind em 1870. Após a descoberta de paradoxos na teoria ingênua dos conjuntos, numerosos sistemas de axiomas foram propostos no início do século XX, dos quais os axiomas de Zermelo-Fraenkel, com o axioma da escolha, são os mais conhecidos.

Conceitos de teoria dos conjuntos são integrados em todo currículo de matemática nos Estados Unidos. Fatos elementares sobre conjuntos e associação de conjuntos são frequentemente ensinados na escola primária, junto com diagramas de Venn, diagramas de Euler, e as operações elementares, tais como união e interseção de conjunto. Conceitos ligeiramente mais avançados, tais como cardinalidade são uma parte padrão do currículo de matemática de graduação.