The undecidable Gödel sentence | Hacker News Reader