La teoria de conjuntos, planteada por Cantor, hacia 1890, se considera el soporte de la construccion matematica, de manera que la Aritmetica pasa a ser un caso particular de la teoria de conjuntos, el de los conjuntos enumerables. Sin embargo, en su aplicacion emergen paradojasa o contradicciones que se manifiestan en las superestructuras de la teoria logica y matematica. Los logicos matematicos de ese momento reflexionan sobre esta nocion, analizando y aportando soluciones al respecto, que marcan lineamientos para la consolidacion de la semantica logica y de la logica, en general.