Nhưng von Neumann, người đã tham gia vào Quốc hội, xác nhận danh vọng của mình như một suy nghĩ tức thời, và trong chưa đầy một tháng có thể giao tiếp để tự mình làm cho mình một hậu quả thú vị về định lý của anh ta: cụ thể rằng các hệ thống axiomatic thông thường không thể chứng minh của họ Sự kiên định của chính mình. Tuy nhiên, Gödel đã phát hiện ra hậu quả này, bây giờ được biết đến với tư cách là Định lý incompleteness thứ hai của anh ta và gửi cho von Neumann một bài viết của anh ấy chứa cả hai định lý incompleteness Von Neumann đã thừa nhận ưu tiên của Gödel trong bức thư tiếp theo của anh ta. Anh ấy không bao giờ nghĩ nhiều về hệ thống Mỹ của việc khẳng định ưu tiên cá nhân cho tất cả mọi thứ.
Sau khi thuyết phục lý thuyết về incompleteness, lý thuyết Godel mới tên là gì?
Định lý incompleteness thứ hai