Gödel's incompleteness theorems

Theorems that prove the limitations of formal systems in mathematics and logic.