セットのセットは、数学（および論理）の分岐であり、セットの特性とそれらの間で実行できる操作の研究に専念しています。セット理論の歴史は、ドイツの数学者ジョージ・カントールの仕事にまでさかのぼることができます。Cantorのセット理論に関する最初の作品は1874年のものです。さらに、彼は、セットのセットの開発に貢献した数学者のリチャード・デデキンドとのアイデアの頻繁な交換を維持しました。

1908年にツェルメロが実施した後続の作品と1922年にアブラハム・フレンケルとトーラフ・スコレムは、ZFC Axiomセットを引き起こし、現代理論の基本的な公理セットになりました。この理論は通常、すべての数学の設立システムとして、特に選択した公理を持つZFC公理の形で使用されます。

セット理論には、正式な論理や数学的基盤など、他の知識の分野にも用途があります。これらのアプリケーションにより、数値、関数、幾何学的な数値などの数学的オブジェクトと構造を構築できます。
La teoría de conjuntos es una rama de las matemáticas (y de la lógica) que se dedica a estudiar las características de los conjuntos y las operaciones que pueden efectuarse entre ellos. La historia de la teoría de conjuntos puede remontarse al trabajo del matemático alemán Georg Cantor, quien es considerado el padre de dicha disciplina. El primer trabajo de Cantor sobre la teoría de conjuntos data de 1874. Además, mantuvo un frecuente intercambio de ideas con el matemático Richard Dedekind, quien contribuyó al desarrollo del álgebra de conjuntos.

Los trabajos posteriores realizados por Zermelo en 1908 y por Abraham Fraenkel y Thoralf Skolem en 1922 dieron lugar al conjunto de axiomas ZFC, que se convirtió en el conjunto de axiomas básico para la teoría moderna. Esta teoría se emplea habitualmente como sistema fundacional para toda la matemática, en particular en la forma del axioma ZFC con el axioma de elección.

La teoría de los conjuntos también tiene aplicaciones en otros campos del conocimiento como la lógica formal y los fundamentos matemáticos. Estas aplicaciones permiten construir objetos y estructuras matemáticas como números, funciones y figuras geométricas.