發送短信: Relating Z and First−order logic