Hậu quả của lý thuyết về sự không đầy đủ là gì?
Tuy nhiên, Gödel đã phát hiện ra hệ quả này, ngày nay được gọi là định lý về tính bất toàn thứ hai của ông và đã gửi cho von Neumann bản in trước bài báo của ông chứa cả hai định lý về tính bất toàn.