tecnico

la teoría de conjuntos es una rama de las matemáticas que estudia las propiedades de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. los conjuntos y susoperaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática.1
sin embargo, la teoría de los conjuntos es lo suficientemente rica como para construir el restode objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas, ...; y junto con la lógica permite estudiar los fundamentos de esta. en la actualidad se acepta que elconjunto de axiomas de la teoría de zermelo-fraenkel es suficiente para desarrollar toda la matemática.
además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramientaauxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. en esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis delcontinuo o la existencia de un cardinal inaccesible. por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica matemática.
el desarrollo histórico de la teoría de conjuntos seatribuye a georg cantor, que comenzó a investigar cuestiones conjuntistas «puras» en la segunda mitad del siglo xix, precedido por algunas ideas de bernhard bolzano e influenciado por richarddedekind. el descubrimiento de las paradojas de la teoría cantoriana de conjuntos propició los trabajos de bertrand russell, ernst zermelo, abraham fraenkel y otros a principios del siglo xx.
la palabraconjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en palabras como hato, rebaño, piara, parcelas,campesinado, familia, etc., es decir la palabra conjunto denota una colección de elementos claramente entre sí, que guardan alguna característica en común. ya sean números, personas, figuras, ideas...