この資料をSMS送信: Language logic and mathematics/