Tuyên bố của Godel về hệ thống tiên đề được đưa ra vào năm 1930 ở đâu?
Với sự đóng góp của von Neumann, hệ tiên đề của lý thuyết tập hợp đã trở nên hoàn toàn thoả đáng, và câu hỏi tiếp theo là liệu nó có dứt khoát hay không, và không cần phải cải thiện. Một câu trả lời tiêu cực mạnh mẽ đã đến vào tháng 9 năm 1930 tại Đại hội toán học lịch sử Königsberg, trong đó Kurt Gödel đã công bố định lý đầu tiên về sự không đầy đủ của mình: các hệ tiên đề thông thường là không đầy đủ, theo nghĩa là chúng không thể chứng minh mọi sự thật có thể diễn đạt bằng ngôn ngữ của chúng. Kết quả này đã đủ sáng tạo để làm nhiễu loạn phần lớn các nhà toán học thời bấy giờ.
Đại hội Königsberg