发送短信: Classical mathematical logic