Buscando lenguaje lógico matemático