What is the general consensus of the axioms and inference rules declared in Principia Mathematica?
It is generally accepted that Kurt Gödel's incompleteness theorem of 1931 definitively demonstrated that for any set of axioms and inference rules proposed to encapsulate mathematics, there would in fact be some truths of mathematics which could not be deduced from them, and hence that Principia Mathematica could never achieve its aims.
Каков общий консенсус аксиом и правил вывода, объявленных в Principia Mathematica?
Общепризнано, что теорема Курта Геделя о неполноте 1931 года окончательно продемонстрировала, что для любого набора аксиом и правил вывода, предложенных для инкапсуляции математики, на самом деле были бы некоторые истины математики, которые нельзя было бы вывести из них, и, следовательно, что Principia Mathematica никогда не сможет достичь своих целей.