<s>[INST]1931'in eksiklik teoremini kim keşfetti?[/INST]Principia Mathematica'nın nihai maddi mirası karışık. Genel olarak Kurt Gödel 'in 1931’deki eksiklik teoreminin kesin olarak gösterdiği kabul edildi; matematiği içine almak için önerilen herhangi bir aksiyom ve çıkarım kurallar dizisi için, aslında, çıkarılamayan bazı matematik gerçekleri olacağı kabul edildi. Onlardan ve dolayısıyla Principia Mathematica'nın amaçlarına asla ulaşamaması. Ancak Gödel, bu sonuca Whitehead ve Russell'ın kitabı olmadan gelemezdi. Bu şekilde, Principia Mathematica'nın mirası, kendi belirtilen hedeflerine ulaşma olasılığını ispatlamadaki kilit rolü olarak tanımlanabilir. Fakat bu biraz ironik mirasın ötesinde, kitap modern matematik mantığını popülerleştirdi ve mantık, epistemoloji ve metafizik arasında önemli bağlantılar kurdu.</s>