Diferencia entre revisiones de «Teoría informal de conjuntos»

La teoría informal de conjuntos es una teoría “no formalizada”; es decir, que emplea el lenguaje cotidiano para hablar de conjuntos, por lo que los conectores « y »; « o »; « no »; « si..., entonces »; « si y sólo si », no están sujetos a rigurosas definiciones rigurosas.

Sin embargo, esta primigenia teoría primigenia permitía definir un conjunto a partir de cualquier propiedad sin ninguna restricción, lo que llevó a ''[[antinomia]]s'', o paradojas lógicas, como la [[paradoja de Russell]], o semánticas, como la [[paradoja de Berry]]. Como solución a este conflicto se elaboró la [[teoría axiomática de conjuntos]], cuyo propósito era determinar con precisión qué definiciones de conjuntos podían ser empleadas. Actualmente, se conoce a la ''teoría axiomática de conjuntos'' simplemente como ''teoría de conjuntos''.