Definicion


Parece claro, y en la mayoría de los textos que tratan en forma elemental la teoría de conjuntos se afirma de una manera categórica, que la noción de conjunto es una noción que se tiene, intuitivamente, clara. Es decir, todo el mundo comprende lo que significa “un conjunto de personas”, “un conjunto de números”, etc. Sin embargo al introducirnos en la teoría matemática de conjuntos debemos prescindir de lo que intuitivamente se presenta claro y adentrarnos en un mundo de gran rigor, donde todo lo que se utilice haya sido previamente establecido: o bien como proposiciones primitivas, o como términos y relaciones primitivas o como términos y relaciones definidas; y signifique sólo lo que se convenga que signifique. En otros términos: la matemática es una construcción del hombre, y, por tanto, debe elegir los elementos de construcción y las normas de construcción. Las normas ya las hemos fundamentado en la lógica proposicional y cuantificacional, en consecuencia tenemos completas las herramientas y preciso el camino a seguir.