發送短信: First Order Mathematical Logic