Chủ đề chính trong thông báo của Godel rằng hệ thống tiên đề chưa hoàn thiện là gì?
Với sự đóng góp này của von Neumann, hệ thống tiên đề của lý thuyết tập hợp đã trở nên hoàn toàn thỏa đáng, và câu hỏi tiếp theo là liệu nó có phải là dứt khoát và không cần cải tiến hay không.