Gödel's Incompleteness

Any rich system of math holds true statements it can never prove — a hard limit on logic itself.

Stood on the shoulders of

• Set Theory

Made possible

• The Turing Machine