發送短信 : Lógica y teoría de conjuntos