Định lý bất toàn của Kurt Godel ra đời khi nào?
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.