この資料をSMS送信: Neo-Logicism and Gödel’s incompleteness theorems