<s>[INST]Kurt Godel'in eksiklik teoremi ne zamandı?[/INST]Principia Mathematica'nın nihai maddi mirası karışık. Kurt Gödel'in 1931 'in eksiklik teoreminin kesin olarak gösterdiği genel olarak kabul görmüştür; matematiği kapsüllemek için önerilen herhangi bir aksiyom ve çıkarım kuralı için aslında onlardan çıkamayan bazı matematik gerçekleri olacağı kabul edilmiştir. 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>