کورت گودل: تفاوت میان نسخه‌ها

این قضیای به نیم قرن تلاش برای بنای تمام ریاضیات بر مجموعه‌ای از اصول موضوعه که با فرگه آغاز شده بود و با اصول ریاضی راسل و فرمالیسم هلیبرت به اوج خود رسیده بود پایان داد.<ref>{{یادکرد وب| نشانی = http://plato.stanford.edu/entries/principia-mathematica/| عنوان = Principia Mathematica (دانشنامه فلسفه استنفورد)| تاریخ بازدید =۲۰ ژوئن ۲۰۰۸| ناشر = [[دانشگاه استنفورد]]| زبان = انگلیسی}}</ref>

[[پرونده:Kurt godel tomb 2004.jpg|بندانگشتی|200px|آرامگاه گودل در نیوجرسی آمریکا]]

او همینطور نشان داد که [[فرضیه پیوستار]] را نمی‌توان به وسیلهٔ اصول پذیرفته شده در تئوری مجموعه‌ها، به فرض پایداری آن اصول، باطل کرد. او سهم عمده‌ای برای اثبات تئوری به وسیلهٔ تبیین ارتباط بین [[منطق کلاسیک]]، [[منطق شهودگرا]] و [[منطق موجهات|منطق وجهی]] داشت.