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