Finally Understood Gödel's Incompleteness Theorem | Hacker News Reader