World's shortest explanation of Gödel's theorem149 points by MartinMondRead the articleDiscussion on Hacker News