کرت گودل بی تردید بزرگ ترین منطق دان قرن بیستم، و در کنار ارسطو و فرگه، یکی از سه منطق دان بزرگ تاریخ است. نبوغ و شخصیت کافکایی بی نظیر او بیش از هر چیز در دو قضیه ای بازتاب یافته، که به عنوان قضیه ناتمامیت معروف هستند، و گودل آن ها را به شیوه ای بدیع در 25 سالگی به اثبات رساند. انتشار مقاله دوران س