Kant, Chaitin and the absence of axioms in arithmetic | Hacker News Reader