What is mathematics? A classification based on universals | Hacker News Reader