Gödel's first incompleteness theorem - any consistent formal system capable of basic arithmetic is incomplete. [Link](https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#First_incompleteness_theorem)