この資料をSMS送信: The reality of mathematics and the case of set theory