conjunto
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.
Um diagrama de Venn ilustrando ainterseção de dois conjuntos.
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ãofrequentemente 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 maisavançados, tais como cardinalidade são uma parte padrão do currículo de matemática de graduação. A teoria dos conjuntos é comumente empregada como um sistema precursor da matemática, particularmente naforma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Além de seu papel fundamental, a teoria dos conjuntos é um ramo da matemática em si própria, com uma comunidade de pesquisaativa. Pesquisas contemporâneas em teoria dos conjuntos incluem uma diversa coleção de temas, variando da estrutura do número real ao estudo da consistência de grandes cardinais.
A lógica de classes,que pode ser considerada um pequeno fragmento da teoria dos conjuntos com importância histórica é isomorfa à lógica proposicional clássica e à álgebra booleana, e como tal, os teoremas de uma