أرسل هذا في رسالة قصيرة: Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel