A Theory That Proves Its Own Incompleteness

In 1931 Kurt Gödel proved that a sufficiently rich consistent arithmetic contains true statements that cannot be proven within it. The result destroyed Hilbert's dream of a complete axiomatization of mathematics. Since then "incompleteness" has become a cultural cliché: incompleteness of the mind, of physics, of society. Almost always — incorrectly.