Searching for the missing truth: Axioms and infinities in mathematics | Hacker News Reader