How Gödel’s Proof Works | Dark Hacker News