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