發送短信: A tour through mathematical logic