أرسل هذا في رسالة قصيرة: On formally undecidable propositions of principia mathematica and related systems