この資料をSMS送信: Non-axiomatic logic