發送短信: Non-axiomatic logic