El Lenguaje de los Conjuntos y Algo de Lógica