World's shortest explanation of Gödel's theorem | Heykuki News