Ai đã phát hiện ra định lý bất toàn năm 1931?
Người ta thường chấp nhận rằng định lý về tính bất toàn của Kurt Gödel năm 1931 đã chứng minh dứt khoát rằng đối với bất kỳ tập tiên đề và quy tắc suy luận nào được đề xuất để gói gọn toán học, trên thực tế sẽ có một số chân lý toán học không thể được suy ra từ chúng, và do đó Principia Mathematica có thể không bao giờ đạt được mục đích của mình.