この資料をSMS送信: On formally undecidable propositions of principia mathematica and related systems