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
What did the incompleteness theorem of 1931 indicate regarding Principia Mathematica?