Định lý Kurt Godel chứng minh điều gì về các tiên đề và quy tắc suy luận?
Nhưng ngoài di sản có phần mỉa mai này, cuốn sách còn phổ biến logic toán học hiện đại và rút ra những mối liên hệ quan trọng giữa logic, nhận thức luận và siêu hình học.