es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos:
colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus
operaciones más elementales son una herramienta básica en la formulación de cualquier teoría
matemática
objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas,...; gracias a
las herramientas de la lógica, permite estudiar los fundamentos de aquella. En la actualidad se acepta
que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la
matemática
la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas
«puras» del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard
Bolzano e influido por Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana
de conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand Russe, ellErnst Zermelo,
Abraham Fraenkel y otros a principios del siglo XX.
Los conjuntos numéricos usuales en matemáticas son: el conjunto de los números naturales N, el de
los números enteros Z, el de los números racionales Q, el de los números reales R y el de los números
complejos C. Cada uno es subconjunto
El espacio tridimensional E3 es un conjunto de
objetos elementales denominados puntos pp,E3
e E3 las rectas ry planos a son conjuntos de
puntos a su vez, y en particular son subconjuntos