اشرح مبرهنات عدم الاكتمال لغودل. لماذا تعتبر هذه المبرهنات دليلاً على أن أي نظام رياضي ثري بما يكفي ليشمل الحساب الأساسي سيحتوي دائماً على جمل صحيحة لا يمكن إثباتها ضمن النظام نفسه؟ وكيف يهدد ذلك فكرة أن الرياضيات يمكن اشتقاقها بالكامل من المنطق الصوري؟