مبرهنة غودل الأولى
" تطوّر الرياضيّات نحو قدر أكبر من الدقّة قد أدّى، كما هو معروف، إلى صياغة مساحات كبيرة منها بطريقة صوريّة، لكي يتسنّى إثبات أيّ مبرهنة باستخدام عدد بسيط من القواعد الميكانيكية." هكذا ابتدأ غودل ورقته التي أعلن فيها غودل عن مبرهنته الأولى في عدم الاكتمال، المبرهنة التي غيّرت فلسفة الرياضيّات إلى الأبد، وأثبتت أن أيّ نسق صوريّ كافٍ لتعريف علم الحساب فيه لا يمكن أن يكون مكتملاً ومتّسقاً في آن واحد. الترجمة حافظت على البناء الصوريّ الأصلي للورقة كما وردت في النص الأصلي الألماني.