Ai đã phát hiện ra định lý bất toàn năm 1931?
Bằng cách này, di sản của Principia Mathematica có thể được mô tả là vai trò then chốt của nó trong việc bác bỏ khả năng đạt được các mục tiêu đã nêu của chính nó.