Kurt Gödel’s incompleteness theorem [published in 1931] states that in any reasonable mathematical system there will always be true statements that cannot be proved. The result was a huge shock to the mathematical community, where the prevailing view was an unshakeable optimism about the power and reach of their subject.