Kurt Gödel
The life of Kurt Gödel - The Provable Unprovable
First Incompleteness Theorem
Proves that in any consistent formal system, there are true statements that cannot be proven.
\[ G \iff \neg(P \vdash G) \]
Sources: https://mathshistory.st-andrews.ac.uk/Biographies/Godel/
