この資料をSMS送信: Mechanism, mentalism, and metamathematics: an essay on finitism