این کتاب در صدمین سال تولد کورت گوزل، پرشورترین منطقدان همه اعصار نوشته شده است که کشفیاتش اصول ریاضیات را به لرزه در آورد.هدف اصلی این کتاب بیان و اثبات قضایای ناتمامیت گوزل با عبارتهای دقیق ریاضی است. این شیوه ما را به ارائه مقدمه ای کوتاه، ممتاز به روز، و هیجان انگیز از منطق ریاضی برای دانشجویان کارشناسی ارشد و دانشجویان پیشرفته کارشناسی منطق نظریه مجموعه ها نظریه بازگشت و علوم کامپیوتر قادر می سازد.