کتاب زبان اصلی Godels Proof اثر جمعی از نویسندگان کتاب Godels Proof اثبات گودل نوشته Ernest Nagel James Newman و Douglas R Hofstadter در سال 2001 میلادی منتشر شده است این کتاب به بررسی و تشریح اثبات گودل درباره قضایای ناتمامی می پردازد نویسندگان با زبانی ساده برای خوانندگان عام مفاهیم پایه ای منطق ریاضی و استدلال گودل را توضیح می دهند همچنین به پیامدهای فلسفی این اثبات برای تفکر مدرن درباره بنیان های ریاضیات و محدودیت های شناخت بشری می پردازند کتابی ضروری برای علاقه مندان به منطق ریاضیات و فلسفه