How Gödel’s Proof Works

His incompleteness theorems destroyed the search for a mathematical theory of everything. Nearly a century later, we’re still coming to grips with the consequences.

source https://www.wired.com/story/how-godels-proof-works