Edward Frenkel - Gödel's Incompleteness Theorems Explained (via searchlore.ai)