Mind tools: The five levels of mathematical reality | Hacker News Reader