この資料をSMS送信: Symbolic logic and the real number system