The role of definitions in mathematics and theory | Hacker News Reader