teoria dos conjuntos
, que são coleções de elementos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, a teoria dos conjuntos é aplicada na maioria das vezes a elementos que são relevantes para a matemática. A linguagem da teoria dos conjuntos pode ser usada nas definições de quase todos os elementos matemáticos.
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
, numerosossistemas de axiomas foram propostos no início do século XX, dos quais osaxiomas de Zermelo-Fraenkel
, com oaxioma 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.
A teoria dos conjuntos é comumente empregada como um sistema precursor da matemática, particularmente na forma 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 pesquisa ativa. Pesquisas contemporâneas em teoria dos conjuntos incluem uma diversa coleção de temas, variando da estrutura do número real ao estudo daconsistência de grandes cardinais