An Overview of Gödel's Incompleteness Theorem | Hacker News Reader